Test::Int::TestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing tests.

Definition at line 87 of file int.cc.

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.
TestSpace *	cloneWithReflection (void)
	Make a copy of the TestSpace using the reflection API.
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	prune (void)
	Prune some random values for some random variable.
bool	prune (const Assignment &a)
	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.

---

Constructor & Destructor Documentation

Test::Int::TestSpace::TestSpace	(	int	n,
		Gecode::IntSet &	d0,
		bool	r,
		Test *	t,
		bool	log = true
	)			[inline]

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 109 of file int.cc.

Test::Int::TestSpace::TestSpace	(	bool	share,
		TestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 119 of file int.cc.

---

Member Function Documentation

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

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 125 of file int.cc.

TestSpace* Test::Int::TestSpace::cloneWithReflection

(

void

)

[inline]

Make a copy of the TestSpace using the reflection API.

Definition at line 130 of file int.cc.

bool Test::Int::TestSpace::assigned

(

void

)

const [inline]

Test whether all variables are assigned.

Definition at line 180 of file int.cc.

void Test::Int::TestSpace::post

(

void

)

[inline]

Post propagator.

Definition at line 188 of file int.cc.

bool Test::Int::TestSpace::failed

(

void

)

[inline]

Compute a fixpoint and check for failure.

Definition at line 200 of file int.cc.

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

Perform integer tell operation on x[i].

Definition at line 211 of file int.cc.

void Test::Int::TestSpace::rel

(

bool

sol

)

[inline]

Perform Boolean tell on b.

Definition at line 227 of file int.cc.

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

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

Definition at line 235 of file int.cc.

void Test::Int::TestSpace::prune

(

void

)

[inline]

Prune some random values for some random variable.

Definition at line 246 of file int.cc.

bool Test::Int::TestSpace::prune

(

const Assignment &

a

)

[inline]

Prune values but not those in assignment a.

Definition at line 268 of file int.cc.

---

Member Data Documentation

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

Initial domain.

Definition at line 90 of file int.cc.

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

Variables to be tested.

Definition at line 92 of file int.cc.

Gecode::BoolVar Test::Int::TestSpace::b

Control variable for reified propagators.

Definition at line 94 of file int.cc.

bool Test::Int::TestSpace::reified

Whether the test is for a reified propagator.

Definition at line 96 of file int.cc.

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

The test currently run.

Definition at line 98 of file int.cc.

---

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

• test/int.cc (Revision: 6328)