Test::Assign::IntTestSpace Class Reference

Space for executing integer tests. More...

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.

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.

virtual Gecode::Space* Test::Assign::IntTestSpace::copy ( bool share ) [inline, virtual]

Copy space during cloning.

Definition at line 58 of file assign.cpp.

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.

Variables to be tested.

Definition at line 48 of file assign.cpp.

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