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 &d0, bool r, Test *t, bool log=true)
	Create test space.
	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.
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.
Public Attributes
Gecode::IntSet	d
	Initial domain.
Gecode::IntVarArray	x
	Variables to be tested.
Gecode::BoolVar	b
	Control variable for reified propagators.
bool	reified
	Whether the test is for a reified propagator.
Test *	test
	The test currently run.

---

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 &	d0,
		bool	r,
		Test *	t,
		bool	log = true
	)

Create test space.

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

Definition at line 95 of file int.cpp.

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

Constructor for cloning s.

Definition at line 105 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 112 of file int.cpp.

bool Test::Int::TestSpace::assigned

(

void

)

const

Test whether all variables are assigned.

Definition at line 117 of file int.cpp.

void Test::Int::TestSpace::post

(

void

)

Post propagator.

Definition at line 125 of file int.cpp.

bool Test::Int::TestSpace::failed

(

void

)

Compute a fixpoint and check for failure.

Definition at line 138 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 150 of file int.cpp.

void Test::Int::TestSpace::rel

(

bool

sol

)

Perform Boolean tell on b.

Definition at line 167 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 176 of file int.cpp.

void Test::Int::TestSpace::bound

(

void

)

Assing a random variable to a random bound.

Definition at line 188 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 200 of file int.cpp.

void Test::Int::TestSpace::prune

(

void

)

Prune some random values for some random variable.

Definition at line 233 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 244 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::BoolVar Test::Int::TestSpace::b

Control variable for reified propagators.

Definition at line 160 of file int.hh.

bool Test::Int::TestSpace::reified

Whether the test is for a reified propagator.

Definition at line 162 of file int.hh.

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

The test currently run.

Definition at line 164 of file int.hh.

---

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

• test/int.hh (Revision: 11013)
• test/int.cpp (Revision: 11013)