Example: n-Queens puzzle More...
Public Types | |
enum | { PROP_BINARY, PROP_MIXED, PROP_DISTINCT } |
Propagation to use for model. More... | |
Public Member Functions | |
Queens (const SizeOptions &opt) | |
The actual problem. | |
Queens (bool share, Queens &s) | |
Constructor for cloning s. | |
virtual Space * | copy (bool share) |
Perform copying during cloning. | |
virtual void | print (std::ostream &os) const |
Print solution. | |
Public Attributes | |
IntVarArray | q |
Position of queens on boards. | |
Related Functions | |
(Note that these are not member functions.) | |
int | main (int argc, char *argv[]) |
Main-function. |
Example: n-Queens puzzle
Place n queens on an n times n chessboard such that they do not attack each other.
anonymous enum |
Propagation to use for model.
PROP_BINARY |
Use only binary disequality constraints. |
PROP_MIXED |
Use single distinct and binary disequality constraints. |
PROP_DISTINCT |
Use three distinct constraints. |
Definition at line 62 of file queens.cpp.
Queens::Queens | ( | const SizeOptions & | opt | ) | [inline] |
The actual problem.
Definition at line 68 of file queens.cpp.
Queens::Queens | ( | bool | share, |
Queens & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 98 of file queens.cpp.
virtual Space* Queens::copy | ( | bool | share | ) | [inline, virtual] |
Perform copying during cloning.
Definition at line 104 of file queens.cpp.
virtual void Queens::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase.
Definition at line 110 of file queens.cpp.
int main | ( | int | argc, |
char * | argv[] | ||
) | [related] |
Main-function.
Definition at line 191 of file queens.cpp.
Position of queens on boards.
Definition at line 60 of file queens.cpp.