Test::Assign::IntTest Class Reference
Base class for tests for assigning integer variables More...
Public Member Functions
|IntTest (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::IntVarArray &x)=0|
|Post assignment on variables x. |
|Number of variables. |
|Domain of variables. |
Base class for tests for assigning integer variables
Constructor & Destructor Documentation
|Test::Assign::IntTest::IntTest||(||const std::string &||s,|
|const Gecode::IntSet &||d|
Construct and register test.
Member Function Documentation
|virtual void Test::Assign::IntTest::post||(||Gecode::Space &||home,|
Post assignment on variables x.
Implemented in Test::Assign::Int.
Member Data Documentation
The documentation for this class was generated from the following files: