Base-class for knight's tour example. More...
Public Types | |
enum | { PROP_REIFIED, PROP_CIRCUIT } |
Propagation to use for model. More... | |
enum | { BRANCH_NAIVE, BRANCH_WARNSDORFF } |
Branching to use for model. More... | |
Public Member Functions | |
int | f (int x, int y) const |
Return field at position x, y. | |
int | x (int f) const |
Return x coordinate at field f. | |
int | y (int f) const |
Return y coordinate at field f. | |
IntSet | neighbors (int i) |
Compute set of neighbour fields. | |
Knights (const SizeOptions &opt) | |
Constructor. | |
Knights (bool share, Knights &s) | |
Constructor for cloning s. | |
virtual void | print (std::ostream &os) const |
Print board. | |
Public Attributes | |
const int | n |
Size of board. | |
IntVarArray | succ |
Maps board field to successor field. |
Base-class for knight's tour example.
Definition at line 146 of file knights.cpp.
anonymous enum |
Propagation to use for model.
Definition at line 153 of file knights.cpp.
anonymous enum |
Branching to use for model.
BRANCH_NAIVE |
Use naive, lexicographical branching. |
BRANCH_WARNSDORFF |
Use Warnsdorff's rule. |
Definition at line 158 of file knights.cpp.
Knights::Knights | ( | const SizeOptions & | opt | ) | [inline] |
Constructor.
Definition at line 188 of file knights.cpp.
Knights::Knights | ( | bool | share, |
Knights & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 200 of file knights.cpp.
int Knights::f | ( | int | x, |
int | y | ||
) | const [inline] |
Return field at position x, y.
Definition at line 163 of file knights.cpp.
int Knights::x | ( | int | f | ) | const [inline] |
Return x coordinate at field f.
Definition at line 167 of file knights.cpp.
int Knights::y | ( | int | f | ) | const [inline] |
Return y coordinate at field f.
Definition at line 171 of file knights.cpp.
IntSet Knights::neighbors | ( | int | i | ) | [inline] |
Compute set of neighbour fields.
Definition at line 175 of file knights.cpp.
virtual void Knights::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print board.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
Definition at line 205 of file knights.cpp.
const int Knights::n |
Size of board.
Definition at line 149 of file knights.cpp.
Maps board field to successor field.
Definition at line 151 of file knights.cpp.