Test::Set::SetTestSpace Class Reference
[General set test support]

Space for executing set tests. More...

#include <set.hh>

List of all members.

Public Member Functions
	SetTestSpace (int n, Gecode::IntSet &d0, int i, SetTest *t, bool log=true)
	Create test space without reification.
	SetTestSpace (int n, Gecode::IntSet &d0, int i, SetTest *t, Gecode::ReifyMode rm, bool log=true)
	Create test space with reification.
	SetTestSpace (SetTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (void)
	Copy space during cloning.
void	post (void)
	Post propagator.
bool	failed (void)
	Compute a fixpoint and check for failure.
bool	subsumed (bool b)
	Check for subsumption if b is true.
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	removeFromLub (int v, int i, const SetAssignment &a, SetTestSpace &c)
	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].
void	addToGlb (int v, int i, const SetAssignment &a, SetTestSpace &c)
	Remove value v from the lower bound of x[i].
bool	fixprob (void)
	Perform fixpoint computation.
bool	prune (const SetAssignment &a)
	Perform random pruning.
unsigned int	propagators (void)
	Return the number of propagators.
void	disable (void)
	Disable propagators in space and compute fixpoint (make all idle).
void	enable (void)
	Enable propagators in space.
bool	disabled (const SetAssignment &a, SetTestSpace &c)
	Prune values also in a space c with disabled propagators, but not those in assignment a.
bool	same (SetTestSpace &c)
	Check whether propagation is the same as in c.
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::Reify	r
	Reification information.
bool	reified
	Whether the test is for a reified propagator.
SetTest *	test
	The test currently run.

---

Detailed Description

Space for executing set tests.

Definition at line 182 of file set.hh.

---

Constructor & Destructor Documentation

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

Create test space without reification.

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 120 of file set.cpp.

Test::Set::SetTestSpace::SetTestSpace	(	int	n,
		Gecode::IntSet &	d0,
		int	i,
		SetTest *	t,
		Gecode::ReifyMode	rm,
		bool	log = true
	)

Create test space with reification.

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 140 of file set.cpp.

Test::Set::SetTestSpace::SetTestSpace

(

SetTestSpace &

s

)

Constructor for cloning s.

Definition at line 153 of file set.cpp.

---

Member Function Documentation

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

(

void

)

[virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 165 of file set.cpp.

void Test::Set::SetTestSpace::post

(

void

)

Post propagator.

Definition at line 170 of file set.cpp.

bool Test::Set::SetTestSpace::failed

(

void

)

Compute a fixpoint and check for failure.

Definition at line 183 of file set.cpp.

bool Test::Set::SetTestSpace::subsumed

(

bool

b

)

Check for subsumption if b is true.

Definition at line 197 of file set.cpp.

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

Perform set tell operation on x[i].

Definition at line 202 of file set.cpp.

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

Perform cardinality tell operation on x[i].

Definition at line 223 of file set.cpp.

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

Perform integer tell operation on y[i].

Definition at line 232 of file set.cpp.

void Test::Set::SetTestSpace::rel

(

bool

sol

)

Perform Boolean tell on b.

Definition at line 249 of file set.cpp.

void Test::Set::SetTestSpace::assign

(

const SetAssignment &

a

)

Assign all variables to values in a.

Definition at line 258 of file set.cpp.

bool Test::Set::SetTestSpace::assigned

(

void

)

const

Test whether all variables are assigned.

Definition at line 274 of file set.cpp.

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

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

Definition at line 285 of file set.cpp.

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

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

Definition at line 298 of file set.cpp.

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

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

Definition at line 313 of file set.cpp.

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

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

Definition at line 326 of file set.cpp.

bool Test::Set::SetTestSpace::fixprob

(

void

)

Perform fixpoint computation.

Definition at line 341 of file set.cpp.

bool Test::Set::SetTestSpace::prune

(

const SetAssignment &

a

)

Perform random pruning.

Definition at line 405 of file set.cpp.

unsigned int Test::Set::SetTestSpace::propagators

(

void

)

Return the number of propagators.

Definition at line 685 of file set.cpp.

void Test::Set::SetTestSpace::disable

(

void

)

Disable propagators in space and compute fixpoint (make all idle).

Definition at line 695 of file set.cpp.

void Test::Set::SetTestSpace::enable

(

void

)

Enable propagators in space.

Definition at line 690 of file set.cpp.

bool Test::Set::SetTestSpace::disabled	(	const SetAssignment &	a,
		SetTestSpace &	c
	)

Prune values also in a space c with disabled propagators, but not those in assignment a.

Definition at line 541 of file set.cpp.

bool Test::Set::SetTestSpace::same

(

SetTestSpace &

c

)

Check whether propagation is the same as in c.

Definition at line 374 of file set.cpp.

---

Member Data Documentation

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

Initial domain.

Definition at line 185 of file set.hh.

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

Set variables to be tested.

Definition at line 187 of file set.hh.

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

Int variables to be tested.

Definition at line 189 of file set.hh.

int Test::Set::SetTestSpace::withInt

How many integer variables are used by the test.

Definition at line 191 of file set.hh.

Gecode::Reify Test::Set::SetTestSpace::r

Reification information.

Definition at line 193 of file set.hh.

bool Test::Set::SetTestSpace::reified

Whether the test is for a reified propagator.

Definition at line 195 of file set.hh.

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

The test currently run.

Definition at line 197 of file set.hh.

---

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

• test/set.hh
• test/set.cpp