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

Test::NoGoods::Hamming Class Reference

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

List of all members.

Public Member Functions

 Hamming (SetValBranch svb, bool assign, bool null)
 Actual model.
 Hamming (Hamming &s)
 Constructor for copying s.
virtual Spacecopy (void)
 Copy during cloning.
bool same (const Hamming &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 (SetValBranch svb)
 Return name for branching.

Detailed Description

Example for testing set no-goods.

Definition at line 124 of file nogoods.cpp.


Constructor & Destructor Documentation

Test::NoGoods::Hamming::Hamming ( SetValBranch  svb,
bool  assign,
bool  null 
) [inline]

Actual model.

Definition at line 136 of file nogoods.cpp.

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

Constructor for copying s.

Definition at line 166 of file nogoods.cpp.


Member Function Documentation

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

Copy during cloning.

Implements Gecode::Space.

Definition at line 170 of file nogoods.cpp.

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

Check whether two solutions are the same.

Definition at line 174 of file nogoods.cpp.

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

Return increment for node stop.

Definition at line 183 of file nogoods.cpp.

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

Return name.

Definition at line 187 of file nogoods.cpp.

static std::string Test::NoGoods::Hamming::val ( SetValBranch  svb  )  [inline, static]

Return name for branching.

Definition at line 191 of file nogoods.cpp.


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