Test::Set::SetTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing set tests.

Definition at line 125 of file set.cc.

Public Member Functions
	SetTestSpace (int n, Gecode::IntSet &d0, int i, bool r, SetTest *t, bool log=true)
	Create test space.
	SetTestSpace (bool share, SetTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
SetTestSpace *	cloneWithReflection (void)
	Make a copy of the SetTestSpace using the reflection API.
void	post (void)
	Post propagator.
bool	failed (void)
	Compute a fixpoint and check for failure.
void	rel (int i, Gecode::SetRelType srt, const Gecode::IntSet &is)
	Perform set tell operation on x[i].
void	cardinality (int i, int cmin, int cmax)
	Perform cardinality tell operation on x[i].
void	rel (int i, Gecode::IntRelType irt, int n)
	Perform integer tell operation on y[i].
void	rel (bool sol)
	Perform Boolean tell on b.
void	assign (const SetAssignment &a)
	Assign all variables to values in a.
bool	assigned (void) const
	Test whether all variables are assigned.
void	removeFromLub (int v, int i, const SetAssignment &a)
	Remove value v from the upper bound of x[i].
void	addToGlb (int v, int i, const SetAssignment &a)
	Remove value v from the lower bound of x[i].
bool	fixprob (void)
	Perform fixpoint computation.
bool	prune (const SetAssignment &a)
	Perform random pruning.
Public Attributes
Gecode::IntSet	d
	Initial domain.
Gecode::SetVarArray	x
	Set variables to be tested.
Gecode::IntVarArray	y
	Int variables to be tested.
int	withInt
	How many integer variables are used by the test.
Gecode::BoolVar	b
	Control variable for reified propagators.
bool	reified
	Whether the test is for a reified propagator.
SetTest *	test
	The test currently run.

---

Constructor & Destructor Documentation

Test::Set::SetTestSpace::SetTestSpace	(	int	n,
		Gecode::IntSet &	d0,
		int	i,
		bool	r,
		SetTest *	t,
		bool	log = true
	)			[inline]

Create test space.

Creates n set variables with domain d0, i integer variables with domain d0, and stores whether the test is for a reified propagator (r), and the test itself (t).

Definition at line 152 of file set.cc.

Test::Set::SetTestSpace::SetTestSpace	(	bool	share,
		SetTestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 166 of file set.cc.

---

Member Function Documentation

virtual Gecode::Space* Test::Set::SetTestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 175 of file set.cc.

SetTestSpace* Test::Set::SetTestSpace::cloneWithReflection

(

void

)

[inline]

Make a copy of the SetTestSpace using the reflection API.

Definition at line 180 of file set.cc.

void Test::Set::SetTestSpace::post

(

void

)

[inline]

Post propagator.

Definition at line 231 of file set.cc.

bool Test::Set::SetTestSpace::failed

(

void

)

[inline]

Compute a fixpoint and check for failure.

Definition at line 243 of file set.cc.

void Test::Set::SetTestSpace::rel	(	int	i,
		Gecode::SetRelType	srt,
		const Gecode::IntSet &	is
	)			[inline]

Perform set tell operation on x[i].

Definition at line 257 of file set.cc.

void Test::Set::SetTestSpace::cardinality	(	int	i,
		int	cmin,
		int	cmax
	)			[inline]

Perform cardinality tell operation on x[i].

Definition at line 273 of file set.cc.

void Test::Set::SetTestSpace::rel	(	int	i,
		Gecode::IntRelType	irt,
		int	n
	)			[inline]

Perform integer tell operation on y[i].

Definition at line 281 of file set.cc.

void Test::Set::SetTestSpace::rel

(

bool

sol

)

[inline]

Perform Boolean tell on b.

Definition at line 297 of file set.cc.

void Test::Set::SetTestSpace::assign

(

const SetAssignment &

a

)

[inline]

Assign all variables to values in a.

Definition at line 306 of file set.cc.

bool Test::Set::SetTestSpace::assigned

(

void

)

const [inline]

Test whether all variables are assigned.

Definition at line 322 of file set.cc.

void Test::Set::SetTestSpace::removeFromLub	(	int	v,
		int	i,
		const SetAssignment &	a
	)			[inline]

Remove value v from the upper bound of x[i].

Definition at line 332 of file set.cc.

void Test::Set::SetTestSpace::addToGlb	(	int	v,
		int	i,
		const SetAssignment &	a
	)			[inline]

Remove value v from the lower bound of x[i].

Definition at line 344 of file set.cc.

bool Test::Set::SetTestSpace::fixprob

(

void

)

[inline]

Perform fixpoint computation.

Definition at line 356 of file set.cc.

bool Test::Set::SetTestSpace::prune

(

const SetAssignment &

a

)

[inline]

Perform random pruning.

Definition at line 388 of file set.cc.

---

Member Data Documentation

Gecode::IntSet Test::Set::SetTestSpace::d

Initial domain.

Definition at line 128 of file set.cc.

Gecode::SetVarArray Test::Set::SetTestSpace::x

Set variables to be tested.

Definition at line 130 of file set.cc.

Gecode::IntVarArray Test::Set::SetTestSpace::y

Int variables to be tested.

Definition at line 132 of file set.cc.

int Test::Set::SetTestSpace::withInt

How many integer variables are used by the test.

Definition at line 134 of file set.cc.

Gecode::BoolVar Test::Set::SetTestSpace::b

Control variable for reified propagators.

Definition at line 136 of file set.cc.

bool Test::Set::SetTestSpace::reified

Whether the test is for a reified propagator.

Definition at line 138 of file set.cc.

SetTest* Test::Set::SetTestSpace::test

The test currently run.

Definition at line 140 of file set.cc.

---

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

• test/set.cc (Revision: 6328)