Generated on Thu Apr 11 14:00:13 2019 for Gecode by doxygen 1.6.3

Test::Branch::SetTest Class Reference

Base class for tests for branching on set variables More...

#include <branch.hh>

List of all members.

Public Member Functions

 SetTest (const std::string &s, int a, const Gecode::IntSet &d)
 Construct and register test.
virtual bool run (void)
 Perform test.
virtual void post (Gecode::Space &home, Gecode::SetVarArray &x)=0
 Post propagators on variables x.

Protected Attributes

int arity
 Number of variables.
Gecode::IntSet dom
 Domain of variables.

Detailed Description

Base class for tests for branching on set variables

Definition at line 103 of file branch.hh.


Constructor & Destructor Documentation

Test::Branch::SetTest::SetTest ( const std::string &  s,
int  a,
const Gecode::IntSet d 
)

Construct and register test.

Definition at line 735 of file branch.cpp.


Member Function Documentation

bool Test::Branch::SetTest::run ( void   )  [virtual]

Perform test.

Implements Test::Base.

Definition at line 740 of file branch.cpp.

virtual void Test::Branch::SetTest::post ( Gecode::Space home,
Gecode::SetVarArray x 
) [pure virtual]

Post propagators on variables x.

Implemented in Test::Branch::Set.


Member Data Documentation

Number of variables.

Definition at line 106 of file branch.hh.

Domain of variables.

Definition at line 108 of file branch.hh.


The documentation for this class was generated from the following files: