Test::Search::TestSpace Class Reference
Space with information. More...
Public Member Functions | |
TestSpace (void) | |
Constructor for space creation. | |
TestSpace (TestSpace &s) | |
Constructor for cloning s. | |
virtual int | solutions (void) const =0 |
Return number of solutions. | |
virtual bool | best (void) const =0 |
Verify that this is best solution. | |
virtual bool | master (const MetaInfo &mi) |
Master configuration function that does not restart. |
Detailed Description
Space with information.
Definition at line 72 of file search.cpp.
Constructor & Destructor Documentation
Test::Search::TestSpace::TestSpace | ( | void | ) | [inline] |
Constructor for space creation.
Definition at line 75 of file search.cpp.
Test::Search::TestSpace::TestSpace | ( | TestSpace & | s | ) | [inline] |
Constructor for cloning s.
Definition at line 77 of file search.cpp.
Member Function Documentation
virtual int Test::Search::TestSpace::solutions | ( | void | ) | const [pure virtual] |
Return number of solutions.
Implemented in Test::Search::FailImmediate, Test::Search::SolveImmediate, and Test::Search::HasSolutions.
virtual bool Test::Search::TestSpace::best | ( | void | ) | const [pure virtual] |
Verify that this is best solution.
Implemented in Test::Search::FailImmediate, Test::Search::SolveImmediate, and Test::Search::HasSolutions.
virtual bool Test::Search::TestSpace::master | ( | const MetaInfo & | mi | ) | [inline, virtual] |
Master configuration function that does not restart.
Reimplemented from Gecode::Space.
Reimplemented in Test::Search::HasSolutions.
Definition at line 83 of file search.cpp.
The documentation for this class was generated from the following file:
- test/search.cpp