Generated on Thu Mar 22 10:40:00 2012 for Gecode by doxygen 1.6.3

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::Spacecopy (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 int n_set_assign [related]
Initial value:

Number of set value selections.

Definition at line 222 of file assign.cpp.

const char* set_assign_name[] [related]
Initial value:

Names for integer assignments.

Definition at line 225 of file assign.cpp.

Member Data Documentation

Variables to be tested.

Definition at line 88 of file assign.cpp.

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