Simple test for when.
More...
|
| When (bool sf0) |
| Create and register test. More...
|
|
virtual bool | solution (const Assignment &x) const |
| Check whether x is solution. More...
|
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x) |
| Post when on x. More...
|
|
| 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. More...
|
|
| Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor. More...
|
|
| 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. More...
|
|
| Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF) |
| Constructor. More...
|
|
virtual Assignment * | assignment (void) const |
| Create assignment. More...
|
|
virtual bool | ignore (const Assignment &) const |
| Whether to ignore assignment for reification. More...
|
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r) |
| Post reified constraint. More...
|
|
virtual bool | run (void) |
| Perform test. More...
|
|
| Base (const std::string &s) |
| Create and register test with name s. More...
|
|
const std::string & | name (void) const |
| Return name of test. More...
|
|
Base * | next (void) const |
| Return next test. More...
|
|
void | next (Base *n) |
| Set next test. More...
|
|
virtual | ~Base (void) |
| Destructor. More...
|
|
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: