Base class for tests for assigning integer variables More...
#include <assign.hh>
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. | |
Protected Attributes | |
int | arity |
Number of variables. | |
Gecode::IntSet | dom |
Domain of variables. |
Base class for tests for assigning integer variables
Test::Assign::IntTest::IntTest | ( | const std::string & | s, |
int | a, | ||
const Gecode::IntSet & | d | ||
) |
Construct and register test.
bool Test::Assign::IntTest::run | ( | void | ) | [virtual] |
virtual void Test::Assign::IntTest::post | ( | Gecode::Space & | home, |
Gecode::IntVarArray & | x | ||
) | [pure virtual] |
Post assignment on variables x.
Implemented in Test::Assign::Int.
int Test::Assign::IntTest::arity [protected] |
Gecode::IntSet Test::Assign::IntTest::dom [protected] |