Test::CpltSet::CpltSetTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing CpltSet tests.

Definition at line 66 of file cpltset.cc.

Public Member Functions
	CpltSetTestSpace (int n, Gecode::IntSet &d, int i, bool r, CpltSetTest *t, const Options &o, bool log=true)
	Create test space.
	CpltSetTestSpace (bool share, CpltSetTestSpace &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Copy space during cloning.
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 Test::Set::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 Test::Set::SetAssignment &a)
void	addToGlb (int v, int i, const Test::Set::SetAssignment &a)
bool	fixprob (void)
bool	prune (const Test::Set::SetAssignment &a)
Public Attributes
Gecode::CpltSetVarArray	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.
CpltSetTest *	test
	The test currently run.
const Options	opt
	The options.

---

Constructor & Destructor Documentation

Test::CpltSet::CpltSetTestSpace::CpltSetTestSpace	(	int	n,
		Gecode::IntSet &	d,
		int	i,
		bool	r,
		CpltSetTest *	t,
		const Options &	o,
		bool	log = true
	)			[inline]

Create test space.

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

Definition at line 93 of file cpltset.cc.

Test::CpltSet::CpltSetTestSpace::CpltSetTestSpace	(	bool	share,
		CpltSetTestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 107 of file cpltset.cc.

---

Member Function Documentation

virtual Space* Test::CpltSet::CpltSetTestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 116 of file cpltset.cc.

void Test::CpltSet::CpltSetTestSpace::post

(

void

)

[inline]

Post propagator.

Definition at line 121 of file cpltset.cc.

bool Test::CpltSet::CpltSetTestSpace::failed

(

void

)

[inline]

Compute a fixpoint and check for failure.

Definition at line 133 of file cpltset.cc.

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

Perform set tell operation on x[i].

Definition at line 147 of file cpltset.cc.

void Test::CpltSet::CpltSetTestSpace::cardinality	(	int	i,
		int	cmin,
		int	cmax
	)			[inline]

Perform cardinality tell operation on x[i].

Definition at line 163 of file cpltset.cc.

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

Perform integer tell operation on y[i].

Definition at line 171 of file cpltset.cc.

void Test::CpltSet::CpltSetTestSpace::rel

(

bool

sol

)

[inline]

Perform Boolean tell on b.

Definition at line 187 of file cpltset.cc.

void Test::CpltSet::CpltSetTestSpace::assign

(

const Test::Set::SetAssignment &

a

)

[inline]

Assign all variables to values in a.

Definition at line 196 of file cpltset.cc.

bool Test::CpltSet::CpltSetTestSpace::assigned

(

void

)

const [inline]

Test whether all variables are assigned.

Definition at line 212 of file cpltset.cc.

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

Definition at line 222 of file cpltset.cc.

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

Definition at line 234 of file cpltset.cc.

bool Test::CpltSet::CpltSetTestSpace::fixprob

(

void

)

[inline]

Definition at line 246 of file cpltset.cc.

bool Test::CpltSet::CpltSetTestSpace::prune

(

const Test::Set::SetAssignment &

a

)

[inline]

Definition at line 276 of file cpltset.cc.

---

Member Data Documentation

Gecode::CpltSetVarArray Test::CpltSet::CpltSetTestSpace::x

Set variables to be tested.

Definition at line 69 of file cpltset.cc.

Gecode::IntVarArray Test::CpltSet::CpltSetTestSpace::y

Int variables to be tested.

Definition at line 71 of file cpltset.cc.

int Test::CpltSet::CpltSetTestSpace::withInt

How many integer variables are used by the test.

Definition at line 73 of file cpltset.cc.

Gecode::BoolVar Test::CpltSet::CpltSetTestSpace::b

Control variable for reified propagators.

Definition at line 75 of file cpltset.cc.

bool Test::CpltSet::CpltSetTestSpace::reified

Whether the test is for a reified propagator.

Definition at line 77 of file cpltset.cc.

CpltSetTest* Test::CpltSet::CpltSetTestSpace::test

The test currently run.

Definition at line 79 of file cpltset.cc.

const Options Test::CpltSet::CpltSetTestSpace::opt

The options.

Definition at line 81 of file cpltset.cc.

---

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

• test/cpltset.cc (Revision: 6155)