Generated on Tue May 22 09:41:48 2018 for Gecode by doxygen 1.6.3

Test::Branch::BoolTestSpace Class Reference

Space for executing Boolean tests. More...

List of all members.

Public Member Functions

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

Public Attributes

Gecode::BoolVarArray x
 Variables to be tested.

Detailed Description

Space for executing Boolean tests.

Definition at line 91 of file branch.cpp.


Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 96 of file branch.cpp.

Test::Branch::BoolTestSpace::BoolTestSpace ( BoolTestSpace s  )  [inline]

Constructor for cloning s.

Definition at line 99 of file branch.cpp.


Member Function Documentation

virtual Gecode::Space* Test::Branch::BoolTestSpace::copy ( void   )  [inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 104 of file branch.cpp.


Member Data Documentation

Variables to be tested.

Definition at line 94 of file branch.cpp.


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