Generated on Wed Nov 5 2014 05:18:46 for Gecode by doxygen 1.7.6.1
Test::BrancherHandle::TestSpace Class Reference

Test space. More...

List of all members.

Public Member Functions

 TestSpace (void)
 Constructor for creation.
 TestSpace (bool share, TestSpace &s)
 Constructor for cloning s.
Gecode::BrancherHandle post (void)
 Post arbitrary brancher and return its handle.
virtual Spacecopy (bool share)
 Copy during cloning.

Protected Attributes

Gecode::IntVarArray x
 An array of integer variables.

Detailed Description

Test space.

Definition at line 49 of file brancher-handle.cpp.


Constructor & Destructor Documentation

Constructor for creation.

Definition at line 55 of file brancher-handle.cpp.

Test::BrancherHandle::TestSpace::TestSpace ( bool  share,
TestSpace s 
) [inline]

Constructor for cloning s.

Definition at line 57 of file brancher-handle.cpp.


Member Function Documentation

Post arbitrary brancher and return its handle.

Definition at line 61 of file brancher-handle.cpp.

virtual Space* Test::BrancherHandle::TestSpace::copy ( bool  share) [inline, virtual]

Copy during cloning.

Implements Gecode::Space.

Definition at line 66 of file brancher-handle.cpp.


Member Data Documentation

An array of integer variables.

Definition at line 52 of file brancher-handle.cpp.


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