|
| IntWait (int n, bool sf0) |
| Create and register test.
|
virtual bool | solution (const Assignment &x) const |
| Check whether x is solution.
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x) |
| Post wait on x.
|
| Test (const std::string &p, const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
| Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
| Test (const std::string &p, const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
| Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor.
|
virtual Assignment * | assignment (void) const |
| Create assignment.
|
virtual bool | ignore (const Assignment &) const |
| Whether to ignore assignment for reification.
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r) |
| Post reified constraint.
|
virtual bool | run (void) |
| Perform test.
|
| Base (const std::string &s) |
| Create and register test with name s.
|
const std::string & | name (void) const |
| Return name of test.
|
Base * | next (void) const |
| Return next test.
|
void | next (Base *n) |
| Set next test.
|
virtual | ~Base (void) |
| Destructor.
|
|
static void | c (Gecode::Space &_home) |
| Continuation to be executed.
|
static std::string | str (Gecode::IntPropLevel ipl) |
| Map integer propagation level to string.
|
static std::string | str (Gecode::IntRelType irl) |
| Map integer relation to string.
|
static std::string | str (Gecode::BoolOpType bot) |
| Map Boolean operation to string.
|
static std::string | str (bool b) |
| Map bool to string.
|
static std::string | str (int i) |
| Map integer to string.
|
static std::string | str (const Gecode::IntArgs &i) |
| Map integer array to string.
|
template<class T> |
static bool | cmp (T x, Gecode::IntRelType r, T y) |
| Compare x and y with respect to r.
|
static void | sort (void) |
| Sort tests alphabetically.
|
static Base * | tests (void) |
| Return all tests.
|
static bool | fixpoint (void) |
| Throw a coin whether to compute a fixpoint.
|
Simple test for wait (integer variables)
Definition at line 49 of file exec.cpp.