Test::Int::TestSpace Class Reference
[General test support]

Space for executing tests. More...

#include <int.hh>

List of all members.

Public Member Functions
	TestSpace (int n, Gecode::IntSet &d, Test *t)
	Create test space without reification.
	TestSpace (int n, Gecode::IntSet &d, Test *t, Gecode::ReifyMode rm)
	Create test space with reification.
	TestSpace (bool share, TestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
bool	assigned (void) const
	Test whether all variables are assigned.
void	post (void)
	Post propagator.
bool	failed (void)
	Compute a fixpoint and check for failure.
int	rndvar (void)
	Randomly select an unassigned variable.
void	rndrel (const Assignment &a, int i, Gecode::IntRelType &irt, int &v)
	Randomly select a pruning rel for variable i.
void	rel (int i, Gecode::IntRelType irt, int n)
	Perform integer tell operation on x[i].
void	rel (bool sol)
	Perform Boolean tell on b.
void	assign (const Assignment &a, bool skip=false)
	Assign all (or all but one, if skip is true) variables to values in a.
void	bound (void)
	Assing a random variable to a random bound.
void	prune (int i, bool bounds_only)
	Prune some random values from variable i.
void	prune (void)
	Prune some random values for some random variable.
bool	prune (const Assignment &a, bool testfix)
	Prune values but not those in assignment a.
void	disable (void)
	Disable propagators in space and compute fixpoint (make all idle).
void	enable (void)
	Enable propagators in space.
bool	disabled (const Assignment &a, TestSpace &c, bool testfix)
	Prune values also in a space c with disabled propagators, but not those in assignment a.
unsigned int	propagators (void)
	Return the number of propagators.
Public Attributes
Gecode::IntSet	d
	Initial domain.
Gecode::IntVarArray	x
	Variables to be tested.
Gecode::Reify	r
	Reification information.
Test *	test
	The test currently run.
bool	reified
	Whether the test is for a reified propagator.

---

Detailed Description

Space for executing tests.

Definition at line 153 of file int.hh.

---

Constructor & Destructor Documentation

Test::Int::TestSpace::TestSpace	(	int	n,
		Gecode::IntSet &	d,
		Test *	t
	)

Create test space without reification.

Creates n variables with domain d for test t.

Definition at line 95 of file int.cpp.

Test::Int::TestSpace::TestSpace	(	int	n,
		Gecode::IntSet &	d,
		Test *	t,
		Gecode::ReifyMode	rm
	)

Create test space with reification.

Creates n variables with domain d for test t and stores the reification mode rm.

Definition at line 110 of file int.cpp.

Test::Int::TestSpace::TestSpace	(	bool	share,
		TestSpace &	s
	)

Constructor for cloning s.

Definition at line 126 of file int.cpp.

---

Member Function Documentation

Gecode::Space * Test::Int::TestSpace::copy

(

bool

share

)

[virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 136 of file int.cpp.

bool Test::Int::TestSpace::assigned

(

void

)

const

Test whether all variables are assigned.

Definition at line 141 of file int.cpp.

void Test::Int::TestSpace::post

(

void

)

Post propagator.

Definition at line 149 of file int.cpp.

bool Test::Int::TestSpace::failed

(

void

)

Compute a fixpoint and check for failure.

Definition at line 162 of file int.cpp.

int Test::Int::TestSpace::rndvar

(

void

)

Randomly select an unassigned variable.

Definition at line 174 of file int.cpp.

void Test::Int::TestSpace::rndrel	(	const Assignment &	a,
		int	i,
		Gecode::IntRelType &	irt,
		int &	v
	)

Randomly select a pruning rel for variable i.

Definition at line 185 of file int.cpp.

void Test::Int::TestSpace::rel	(	int	i,
		Gecode::IntRelType	irt,
		int	n
	)

Perform integer tell operation on x[i].

Definition at line 234 of file int.cpp.

void Test::Int::TestSpace::rel

(

bool

sol

)

Perform Boolean tell on b.

Definition at line 251 of file int.cpp.

void Test::Int::TestSpace::assign	(	const Assignment &	a,
		bool	skip = false
	)

Assign all (or all but one, if skip is true) variables to values in a.

Definition at line 260 of file int.cpp.

void Test::Int::TestSpace::bound

(

void

)

Assing a random variable to a random bound.

Definition at line 272 of file int.cpp.

void Test::Int::TestSpace::prune	(	int	i,
		bool	bounds_only
	)

Prune some random values from variable i.

If bounds_only is true, then the pruning is only done on the bounds of the variable.

Definition at line 280 of file int.cpp.

void Test::Int::TestSpace::prune

(

void

)

Prune some random values for some random variable.

Definition at line 313 of file int.cpp.

bool Test::Int::TestSpace::prune	(	const Assignment &	a,
		bool	testfix
	)

Prune values but not those in assignment a.

Definition at line 318 of file int.cpp.

void Test::Int::TestSpace::disable

(

void

)

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

Definition at line 364 of file int.cpp.

void Test::Int::TestSpace::enable

(

void

)

Enable propagators in space.

Definition at line 359 of file int.cpp.

bool Test::Int::TestSpace::disabled	(	const Assignment &	a,
		TestSpace &	c,
		bool	testfix
	)

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

Definition at line 370 of file int.cpp.

unsigned int Test::Int::TestSpace::propagators

(

void

)

Return the number of propagators.

Definition at line 418 of file int.cpp.

---

Member Data Documentation

Gecode::IntSet Test::Int::TestSpace::d

Initial domain.

Definition at line 156 of file int.hh.

Gecode::IntVarArray Test::Int::TestSpace::x

Variables to be tested.

Definition at line 158 of file int.hh.

Gecode::Reify Test::Int::TestSpace::r

Reification information.

Definition at line 160 of file int.hh.

Test* Test::Int::TestSpace::test

The test currently run.

Definition at line 162 of file int.hh.

bool Test::Int::TestSpace::reified

Whether the test is for a reified propagator.

Definition at line 164 of file int.hh.

---

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

• test/int.hh (Revision: 15156)
• test/int.cpp (Revision: 15233)