Simple test for when.
More...
|
| | When (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 when 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 | t (Gecode::Space &home) |
| | Then-function to be executed.
|
| static void | e (Gecode::Space &home) |
| | Else-function 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 when.
Definition at line 142 of file exec.cpp.
◆ When()
| Test::Int::Exec::When::When |
( |
bool | sf0 | ) |
|
|
inline |
Create and register test.
Definition at line 148 of file exec.cpp.
◆ solution()
| virtual bool Test::Int::Exec::When::solution |
( |
const Assignment & | x | ) |
const |
|
inlinevirtual |
◆ post()
◆ t()
Then-function to be executed.
Definition at line 169 of file exec.cpp.
◆ e()
Else-function to be executed.
Definition at line 173 of file exec.cpp.
◆ sf
| bool Test::Int::Exec::When::sf |
|
protected |
Whether to use std::function.
Definition at line 145 of file exec.cpp.
The documentation for this class was generated from the following file: