Test::Assign::IntTestSpace Class Reference

Detailed Description

Space for executing integer tests.

Definition at line 47 of file assign.cc.


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.
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.

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

Initialize test space.

Definition at line 52 of file assign.cc.

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

Constructor for cloning s.

Definition at line 55 of file assign.cc.

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

Copy space during cloning.

Definition at line 60 of file assign.cc.

const Gecode::IntAssign int_assign[] [related]

Initial value:

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

Integer value assignments.

Definition at line 91 of file assign.cc.

const int n_int_assign [related]

Initial value:

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

Number of integer value selections.

Definition at line 97 of file assign.cc.

const char* int_assign_name[] [related]

Initial value:

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

Names for integer assignments.

Definition at line 100 of file assign.cc.

Variables to be tested.

Definition at line 50 of file assign.cc.

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