Generated on Thu Apr 11 13:59:39 2019 for Gecode by doxygen 1.6.3

DominatingQueens Class Reference
[Example scripts (models)]

Example: Dominating Queens More...

List of all members.

Public Member Functions

 DominatingQueens (const SizeOptions &opt)
 The actual problem.
virtual IntVar cost (void) const
 Return cost.
 DominatingQueens (DominatingQueens &s)
 Constructor for cloning s.
virtual Spacecopy (void)
 Perform copying during cloning.
virtual void print (std::ostream &os) const
 Print solution.

Protected Member Functions

int xy (int x, int y) const
 Compute coordinate pair from x and y.
int x (int xy) const
 Compute x coordinate from pair xy.
int y (int xy) const
 Compute y coordinate from pair xy.
IntSet attacked (int xy)
 Compute set of fields that can be attacked by xy.

Protected Attributes

const int n
 Size of the board.
IntVarArray b
 Fields on the board.
IntVar q
 Number of queens.

Detailed Description

Example: Dominating Queens

Place a number of queens on a n times n chessboard such that each squares is either attacked or occupied by a queen.

The model is taken from: C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, and T. Walsh, Filtering Algorithms for the NValue Constraint, Constraints, 11(4), 271-293, 2006.

Definition at line 53 of file dominating-queens.cpp.


Constructor & Destructor Documentation

DominatingQueens::DominatingQueens ( const SizeOptions opt  )  [inline]

The actual problem.

Definition at line 86 of file dominating-queens.cpp.

DominatingQueens::DominatingQueens ( DominatingQueens s  )  [inline]

Constructor for cloning s.

Definition at line 117 of file dominating-queens.cpp.


Member Function Documentation

int DominatingQueens::xy ( int  x,
int  y 
) const [inline, protected]

Compute coordinate pair from x and y.

Definition at line 62 of file dominating-queens.cpp.

int DominatingQueens::x ( int  xy  )  const [inline, protected]

Compute x coordinate from pair xy.

Definition at line 66 of file dominating-queens.cpp.

int DominatingQueens::y ( int  xy  )  const [inline, protected]

Compute y coordinate from pair xy.

Definition at line 70 of file dominating-queens.cpp.

IntSet DominatingQueens::attacked ( int  xy  )  [inline, protected]

Compute set of fields that can be attacked by xy.

Definition at line 74 of file dominating-queens.cpp.

virtual IntVar DominatingQueens::cost ( void   )  const [inline, virtual]

Return cost.

Definition at line 112 of file dominating-queens.cpp.

virtual Space* DominatingQueens::copy ( void   )  [inline, virtual]

Perform copying during cloning.

Definition at line 125 of file dominating-queens.cpp.

virtual void DominatingQueens::print ( std::ostream &  os  )  const [inline, virtual]

Print solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

Definition at line 131 of file dominating-queens.cpp.


Member Data Documentation

const int DominatingQueens::n [protected]

Size of the board.

Definition at line 56 of file dominating-queens.cpp.

Fields on the board.

Definition at line 58 of file dominating-queens.cpp.

Number of queens.

Definition at line 60 of file dominating-queens.cpp.


The documentation for this class was generated from the following file: