Test::Search::FailImmediate Class Reference

Inherits Test::Search::TestSpace.

List of all members.

---

Detailed Description

Space that immediately fails.

Definition at line 190 of file search.cc.

Public Member Functions
	FailImmediate (HowToBranch, HowToBranch, HowToBranch, HowToConstrain=HTC_NONE)
	Constructor for space creation.
	FailImmediate (bool share, FailImmediate &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Copy during cloning.
void	constrain (Space *)
	Add constraint for next better solution.
virtual int	solutions (void) const
	Return number of solutions.
virtual bool	best (void) const
	Verify that this is best solution.
Static Public Member Functions
static std::string	name (void)
	Return name.
Public Attributes
IntVarArray	x
	Variables used.

---

Constructor & Destructor Documentation

Test::Search::FailImmediate::FailImmediate	(	HowToBranch	,
		HowToBranch	,
		HowToBranch	,
		HowToConstrain	= HTC_NONE
	)			[inline]

Constructor for space creation.

Definition at line 195 of file search.cc.

Test::Search::FailImmediate::FailImmediate	(	bool	share,
		FailImmediate &	s
	)			[inline]

Constructor for cloning s.

Definition at line 201 of file search.cc.

---

Member Function Documentation

virtual Space* Test::Search::FailImmediate::copy

(

bool

share

)

[inline, virtual]

Copy during cloning.

Implements Gecode::Space.

Definition at line 205 of file search.cc.

void Test::Search::FailImmediate::constrain

(

Space *

)

[inline]

Add constraint for next better solution.

Definition at line 209 of file search.cc.

virtual int Test::Search::FailImmediate::solutions

(

void

)

const [inline, virtual]

Return number of solutions.

Implements Test::Search::TestSpace.

Definition at line 212 of file search.cc.

virtual bool Test::Search::FailImmediate::best

(

void

)

const [inline, virtual]

Verify that this is best solution.

Implements Test::Search::TestSpace.

Definition at line 216 of file search.cc.

static std::string Test::Search::FailImmediate::name

(

void

)

[inline, static]

Return name.

Definition at line 220 of file search.cc.

---

Member Data Documentation

IntVarArray Test::Search::FailImmediate::x

Variables used.

Definition at line 193 of file search.cc.

---

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

• test/search.cc (Revision: 6273)