Test::NoGoods::Queens Class Reference
Example for testing integer no-goods. More...
Public Member Functions | |
Queens (IntValBranch ivb, bool assign, bool null) | |
The actual problem. | |
Queens (Queens &s) | |
Constructor for cloning s. | |
virtual Space * | copy (void) |
Perform copying during cloning. | |
bool | same (const Queens &s) const |
Check whether two solutions are the same. | |
Static Public Member Functions | |
static unsigned int | nodeinc (void) |
Return increment for node stop. | |
static std::string | name (void) |
Return name. | |
static std::string | val (IntValBranch ivb) |
Return name for branching. | |
Public Attributes | |
IntVarArray | q |
Position of queens on boards. | |
Static Public Attributes | |
static const int | n = 18 |
Number of queens (must be even). |
Detailed Description
Example for testing integer no-goods.
Definition at line 55 of file nogoods.cpp.
Constructor & Destructor Documentation
Test::NoGoods::Queens::Queens | ( | IntValBranch | ivb, | |
bool | assign, | |||
bool | null | |||
) | [inline] |
The actual problem.
Definition at line 62 of file nogoods.cpp.
Test::NoGoods::Queens::Queens | ( | Queens & | s | ) | [inline] |
Constructor for cloning s.
Definition at line 85 of file nogoods.cpp.
Member Function Documentation
virtual Space* Test::NoGoods::Queens::copy | ( | void | ) | [inline, virtual] |
Perform copying during cloning.
Implements Gecode::Space.
Definition at line 89 of file nogoods.cpp.
bool Test::NoGoods::Queens::same | ( | const Queens & | s | ) | const [inline] |
Check whether two solutions are the same.
Definition at line 93 of file nogoods.cpp.
static unsigned int Test::NoGoods::Queens::nodeinc | ( | void | ) | [inline, static] |
Return increment for node stop.
Definition at line 100 of file nogoods.cpp.
static std::string Test::NoGoods::Queens::name | ( | void | ) | [inline, static] |
Return name.
Definition at line 104 of file nogoods.cpp.
static std::string Test::NoGoods::Queens::val | ( | IntValBranch | ivb | ) | [inline, static] |
Return name for branching.
Definition at line 108 of file nogoods.cpp.
Member Data Documentation
const int Test::NoGoods::Queens::n = 18 [static] |
Number of queens (must be even).
Definition at line 58 of file nogoods.cpp.
Position of queens on boards.
Definition at line 60 of file nogoods.cpp.
The documentation for this class was generated from the following file:
- test/nogoods.cpp