Generated on Fri Oct 19 11:25:41 2018 for Gecode by doxygen 1.6.3

Knights Class Reference

Base-class for knight's tour example. More...

List of all members.

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.

Enumerator:
PROP_REIFIED 

Use reified constraints.

PROP_CIRCUIT 

Use single circuit constraints.

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: