Generated on Fri Oct 19 11:26:25 2018 for Gecode by doxygen 1.6.3

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 (IntTestSpace &s)
 Constructor for cloning s.
virtual Gecode::Spacecopy (void)
 Copy space during cloning.

Public Attributes

Gecode::IntVarArray x
 Variables to be tested.

Collection of possible arguments for integer assignments



const char * int_assign_name []
 Names for integer assignments.
const int n_int_assign
 Number of integer value selections.
int int_val (const Gecode::Space &, Gecode::IntVar x, int)
 Test function for branch value function.

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 ( 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 ( void   )  [inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 58 of file assign.cpp.


Friends And Related Function Documentation

const char* int_assign_name[] [related]
Initial value:
 {
    "INT_ASSIGN_MIN",
    "INT_ASSIGN_MED",
    "INT_ASSIGN_MAX",
    "INT_ASSIGN_RND",
    "INT_ASSIGN"
  }

Names for integer assignments.

Definition at line 134 of file assign.cpp.

const int n_int_assign [related]
Initial value:
    sizeof(int_assign_name)/sizeof(const char*)

Number of integer value selections.

Definition at line 142 of file assign.cpp.

int int_val ( const Gecode::Space ,
Gecode::IntVar  x,
int   
) [related]

Test function for branch value function.

Definition at line 145 of file assign.cpp.


Member Data Documentation

Variables to be tested.

Definition at line 48 of file assign.cpp.


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