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 Space *	copy (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:

• test/nogoods.cpp