Example for testing integer no-goods. More...
Public Member Functions | |
Queens (IntValBranch ivb, bool assign, bool null) | |
The actual problem. | |
Queens (bool share, Queens &s) | |
Constructor for cloning s. | |
virtual Space * | copy (bool share) |
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) |
Example for testing integer no-goods.
Definition at line 59 of file nogoods.cpp.
Test::NoGoods::Queens::Queens | ( | IntValBranch | ivb, |
bool | assign, | ||
bool | null | ||
) | [inline] |
The actual problem.
Definition at line 66 of file nogoods.cpp.
Test::NoGoods::Queens::Queens | ( | bool | share, |
Queens & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 89 of file nogoods.cpp.
virtual Space* Test::NoGoods::Queens::copy | ( | bool | share | ) | [inline, virtual] |
Perform copying during cloning.
Implements Gecode::Space.
Definition at line 93 of file nogoods.cpp.
bool Test::NoGoods::Queens::same | ( | const Queens & | s | ) | const [inline] |
Check whether two solutions are the same.
Definition at line 97 of file nogoods.cpp.
static unsigned int Test::NoGoods::Queens::nodeinc | ( | void | ) | [inline, static] |
Return increment for node stop.
Definition at line 104 of file nogoods.cpp.
static std::string Test::NoGoods::Queens::name | ( | void | ) | [inline, static] |
Return name.
Definition at line 108 of file nogoods.cpp.
static std::string Test::NoGoods::Queens::val | ( | IntValBranch | ivb | ) | [inline, static] |
Return name for branching.
Definition at line 112 of file nogoods.cpp.
const int Test::NoGoods::Queens::n = 18 [static] |
Number of queens (must be even)
Definition at line 62 of file nogoods.cpp.
Position of queens on boards.
Definition at line 64 of file nogoods.cpp.