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.