Test::Assign::SetTestSpace Class Reference

Space for executing Boolean tests. More...

List of all members.

Public Member Functions
	SetTestSpace (int n, const Gecode::IntSet &d)
	Initialize test space.
	SetTestSpace (bool share, SetTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::SetVarArray	x
	Variables to be tested.
Collection of possible arguments for set assignments
const Gecode::SetAssign	set_assign []
	Set value assignments.
const int	n_set_assign
	Number of set value selections.
const char *	set_assign_name []
	Names for integer assignments.

---

Detailed Description

Space for executing Boolean tests.

Definition at line 85 of file assign.cpp.

---

Constructor & Destructor Documentation

Test::Assign::SetTestSpace::SetTestSpace	(	int	n,
		const Gecode::IntSet &	d
	)			[inline]

Initialize test space.

Definition at line 90 of file assign.cpp.

Test::Assign::SetTestSpace::SetTestSpace	(	bool	share,
		SetTestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 93 of file assign.cpp.

---

Member Function Documentation

virtual Gecode::Space* Test::Assign::SetTestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 98 of file assign.cpp.

---

Friends And Related Function Documentation

const Gecode::SetAssign set_assign[] [related]

Initial value:

 {
    Gecode::SET_ASSIGN_MIN_INC,
    Gecode::SET_ASSIGN_MIN_EXC,
    Gecode::SET_ASSIGN_MED_INC,
    Gecode::SET_ASSIGN_MED_EXC,
    Gecode::SET_ASSIGN_MAX_INC,
    Gecode::SET_ASSIGN_MAX_EXC,
    Gecode::SET_ASSIGN_RND_INC,
    Gecode::SET_ASSIGN_RND_EXC
  }

Set value assignments.

Definition at line 211 of file assign.cpp.

const int n_set_assign [related]

Initial value:

    sizeof(set_assign)/sizeof(Gecode::SetAssign)

Number of set value selections.

Definition at line 222 of file assign.cpp.

const char* set_assign_name[] [related]

Initial value:

 {
    "SET_ASSIGN_MIN_INC",
    "SET_ASSIGN_MIN_EXC",
    "SET_ASSIGN_MED_INC",
    "SET_ASSIGN_MED_EXC",
    "SET_ASSIGN_MAX_INC",
    "SET_ASSIGN_MAX_EXC",
    "SET_ASSIGN_RND_INC",
    "SET_ASSIGN_RND_EXC"
  }

Names for integer assignments.

Definition at line 225 of file assign.cpp.

---

Member Data Documentation

Gecode::SetVarArray Test::Assign::SetTestSpace::x

Variables to be tested.

Definition at line 88 of file assign.cpp.

---

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

• test/assign.cpp (Revision: 8325)