Test::Branch::BoolTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing Boolean tests.

Definition at line 75 of file branch.cc.

Public Member Functions
	BoolTestSpace (int n)
	Initialize test space.
	BoolTestSpace (bool share, BoolTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::BoolVarArray	x
	Variables to be tested.

---

Constructor & Destructor Documentation

Test::Branch::BoolTestSpace::BoolTestSpace

(

int

n

)

[inline]

Initialize test space.

Definition at line 80 of file branch.cc.

Test::Branch::BoolTestSpace::BoolTestSpace	(	bool	share,
		BoolTestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 83 of file branch.cc.

---

Member Function Documentation

virtual Gecode::Space* Test::Branch::BoolTestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 88 of file branch.cc.

---

Member Data Documentation

Gecode::BoolVarArray Test::Branch::BoolTestSpace::x

Variables to be tested.

Definition at line 78 of file branch.cc.

---

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

• test/branch.cc (Revision: 6318)