Knights Class Reference
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 (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. |
Detailed Description
Base-class for knight's tour example.
Definition at line 160 of file knights.cpp.
Member Enumeration Documentation
anonymous enum |
Propagation to use for model.
Definition at line 167 of file knights.cpp.
anonymous enum |
Branching to use for model.
- Enumerator:
BRANCH_NAIVE Use naive, lexicographical branching.
BRANCH_WARNSDORFF Use Warnsdorff's rule.
Definition at line 172 of file knights.cpp.
Constructor & Destructor Documentation
Knights::Knights | ( | const SizeOptions & | opt | ) | [inline] |
Constructor.
Definition at line 202 of file knights.cpp.
Knights::Knights | ( | Knights & | s | ) | [inline] |
Constructor for cloning s.
Definition at line 214 of file knights.cpp.
Member Function Documentation
int Knights::f | ( | int | x, | |
int | y | |||
) | const [inline] |
Return field at position x, y.
Definition at line 177 of file knights.cpp.
int Knights::x | ( | int | f | ) | const [inline] |
Return x coordinate at field f.
Definition at line 181 of file knights.cpp.
int Knights::y | ( | int | f | ) | const [inline] |
Return y coordinate at field f.
Definition at line 185 of file knights.cpp.
IntSet Knights::neighbors | ( | int | i | ) | [inline] |
Compute set of neighbour fields.
Definition at line 189 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 219 of file knights.cpp.
Member Data Documentation
const int Knights::n |
Size of board.
Definition at line 163 of file knights.cpp.
Maps board field to successor field.
Definition at line 165 of file knights.cpp.
The documentation for this class was generated from the following file:
- examples/knights.cpp