Test brancher with distinct propagator
More...
Public Member Functions |
| Bool (const std::string &s, int n) |
| Create and register test.
|
virtual void | post (Gecode::Space &home, Gecode::BoolVarArray &x) |
| Post propagators on variables x.
|
| BoolTest (const std::string &s, int a) |
| Construct and register test.
|
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.
|
Detailed Description
Test brancher with distinct propagator
Definition at line 43 of file bool.cpp.
Constructor & Destructor Documentation
Test::Branch::Bool::Bool |
( |
const std::string & |
s, |
|
|
int |
n |
|
) |
| |
|
inline |
Create and register test.
Definition at line 46 of file bool.cpp.
Member Function Documentation
The documentation for this class was generated from the following file: