Test::Branch::SetTest Class Reference
Base class for tests for branching on set variables More...
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. |
|Number of variables. |
|Domain of variables. |
Base class for tests for branching on set variables
Constructor & Destructor Documentation
|Test::Branch::SetTest::SetTest||(||const std::string &||s,|
|const Gecode::IntSet &||d|
Member Function Documentation
|virtual void Test::Branch::SetTest::post||(||Gecode::Space &||home,|
Post propagators on variables x.
Implemented in Test::Branch::Set.
Member Data Documentation
The documentation for this class was generated from the following files: