Test::Assign::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 assignment on variables x. |
|Number of variables. |
|Upper bound of variable domains. |
Base class for tests for branching on set variables
Constructor & Destructor Documentation
|Test::Assign::SetTest::SetTest||(||const std::string &||s,|
|const Gecode::IntSet &||d|
Construct and register test.
Member Function Documentation
|virtual void Test::Assign::SetTest::post||(||Gecode::Space &||home,|
Post assignment on variables x.
Implemented in Test::Assign::Set.
Member Data Documentation
The documentation for this class was generated from the following files: