Test::Assign::IntTestSpace Class Reference

Space for executing integer tests. More...

List of all members.

Public Member Functions
	IntTestSpace (int n, Gecode::IntSet &d)
	Initialize test space.
	IntTestSpace (bool share, IntTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::IntVarArray	x
	Variables to be tested.
Collection of possible arguments for integer assignments
BoolTestSpace
const Gecode::IntAssign	int_assign []
	Integer value assignments.
const int	n_int_assign
	Number of integer value selections.
const char *	int_assign_name []
	Names for integer assignments.

---

Detailed Description

Space for executing integer tests.

Definition at line 45 of file assign.cpp.

---

Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 50 of file assign.cpp.

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

Constructor for cloning s.

Definition at line 53 of file assign.cpp.

---

Member Function Documentation

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

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 58 of file assign.cpp.

---

Friends And Related Function Documentation

const Gecode::IntAssign int_assign[] [related]

Initial value:

 {
    Gecode::INT_ASSIGN_MIN,
    Gecode::INT_ASSIGN_MED,
    Gecode::INT_ASSIGN_MAX,
    Gecode::INT_ASSIGN_RND
  }

Integer value assignments.

Definition at line 111 of file assign.cpp.

const int n_int_assign [related]

Initial value:

    sizeof(int_assign)/sizeof(Gecode::IntAssign)

Number of integer value selections.

Definition at line 118 of file assign.cpp.

const char* int_assign_name[] [related]

Initial value:

 {
    "INT_ASSIGN_MIN",
    "INT_ASSIGN_MED",
    "INT_ASSIGN_MAX",
    "INT_ASSIGN_RND"
  }

Names for integer assignments.

Definition at line 121 of file assign.cpp.

---

Member Data Documentation

Gecode::IntVarArray Test::Assign::IntTestSpace::x

Variables to be tested.

Definition at line 48 of file assign.cpp.

---

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

• test/assign.cpp (Revision: 8325)