Generated on Fri Oct 19 11:26:37 2018 for Gecode by doxygen 1.6.3

Test::NoGoods::Queens Class Reference

Example for testing integer no-goods. More...

List of all members.

Public Member Functions

 Queens (IntValBranch ivb, bool assign, bool null)
 The actual problem.
 Queens (Queens &s)
 Constructor for cloning s.
virtual Spacecopy (void)
 Perform copying during cloning.
bool same (const Queens &s) const
 Check whether two solutions are the same.

Static Public Member Functions

static unsigned int nodeinc (void)
 Return increment for node stop.
static std::string name (void)
 Return name.
static std::string val (IntValBranch ivb)
 Return name for branching.

Public Attributes

IntVarArray q
 Position of queens on boards.

Static Public Attributes

static const int n = 18
 Number of queens (must be even).

Detailed Description

Example for testing integer no-goods.

Definition at line 55 of file nogoods.cpp.


Constructor & Destructor Documentation

Test::NoGoods::Queens::Queens ( IntValBranch  ivb,
bool  assign,
bool  null 
) [inline]

The actual problem.

Definition at line 62 of file nogoods.cpp.

Test::NoGoods::Queens::Queens ( Queens s  )  [inline]

Constructor for cloning s.

Definition at line 85 of file nogoods.cpp.


Member Function Documentation

virtual Space* Test::NoGoods::Queens::copy ( void   )  [inline, virtual]

Perform copying during cloning.

Implements Gecode::Space.

Definition at line 89 of file nogoods.cpp.

bool Test::NoGoods::Queens::same ( const Queens s  )  const [inline]

Check whether two solutions are the same.

Definition at line 93 of file nogoods.cpp.

static unsigned int Test::NoGoods::Queens::nodeinc ( void   )  [inline, static]

Return increment for node stop.

Definition at line 100 of file nogoods.cpp.

static std::string Test::NoGoods::Queens::name ( void   )  [inline, static]

Return name.

Definition at line 104 of file nogoods.cpp.

static std::string Test::NoGoods::Queens::val ( IntValBranch  ivb  )  [inline, static]

Return name for branching.

Definition at line 108 of file nogoods.cpp.


Member Data Documentation

const int Test::NoGoods::Queens::n = 18 [static]

Number of queens (must be even).

Definition at line 58 of file nogoods.cpp.

Position of queens on boards.

Definition at line 60 of file nogoods.cpp.


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