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

Test::Assign::BoolTestSpace Class Reference

Space for executing Boolean tests. More...

List of all members.

Public Member Functions

 BoolTestSpace (int n)
 Initialize test space.
 BoolTestSpace (bool share, BoolTestSpace &s)
 Constructor for cloning s.
virtual Gecode::Spacecopy (bool share)
 Copy space during cloning.

Public Attributes

Gecode::BoolVarArray x
 Variables to be tested.

Detailed Description

Space for executing Boolean tests.

Definition at line 64 of file assign.cpp.

Constructor & Destructor Documentation

Test::Assign::BoolTestSpace::BoolTestSpace ( int  n  )  [inline]

Initialize test space.

Definition at line 69 of file assign.cpp.

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

Constructor for cloning s.

Definition at line 72 of file assign.cpp.

Member Function Documentation

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

Copy space during cloning.

Implements Gecode::Space.

Definition at line 77 of file assign.cpp.

Member Data Documentation

Variables to be tested.

Definition at line 67 of file assign.cpp.

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