Space that immediately fails. More...
Public Member Functions | |
| FailImmediate (HowToBranch, HowToBranch, HowToBranch, HowToConstrain=HTC_NONE) | |
| Constructor for space creation. | |
| FailImmediate (bool share, FailImmediate &s) | |
| Constructor for cloning s. | |
| virtual Space * | copy (bool share) |
| Copy during cloning. | |
| virtual void | constrain (const Space &) |
| Add constraint for next better solution. | |
| virtual int | solutions (void) const |
| Return number of solutions. | |
| virtual bool | best (void) const |
| Verify that this is best solution. | |
Static Public Member Functions | |
| static std::string | name (void) |
| Return name. | |
Public Attributes | |
| IntVarArray | x |
| Variables used. | |
Space that immediately fails.
Definition at line 89 of file search.cpp.
| Test::Search::FailImmediate::FailImmediate | ( | HowToBranch | , |
| HowToBranch | , | ||
| HowToBranch | , | ||
| HowToConstrain | = HTC_NONE |
||
| ) | [inline] |
Constructor for space creation.
Definition at line 94 of file search.cpp.
| Test::Search::FailImmediate::FailImmediate | ( | bool | share, |
| FailImmediate & | s | ||
| ) | [inline] |
Constructor for cloning s.
Definition at line 100 of file search.cpp.
| virtual Space* Test::Search::FailImmediate::copy | ( | bool | share | ) | [inline, virtual] |
| virtual void Test::Search::FailImmediate::constrain | ( | const Space & | ) | [inline, virtual] |
Add constraint for next better solution.
Reimplemented from Gecode::Space.
Definition at line 108 of file search.cpp.
| virtual int Test::Search::FailImmediate::solutions | ( | void | ) | const [inline, virtual] |
Return number of solutions.
Implements Test::Search::TestSpace.
Definition at line 111 of file search.cpp.
| virtual bool Test::Search::FailImmediate::best | ( | void | ) | const [inline, virtual] |
Verify that this is best solution.
Implements Test::Search::TestSpace.
Definition at line 115 of file search.cpp.
| static std::string Test::Search::FailImmediate::name | ( | void | ) | [inline, static] |
Return name.
Definition at line 119 of file search.cpp.
Variables used.
Definition at line 92 of file search.cpp.