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