Test space More...
Public Member Functions | |
TestSpace (void) | |
Constructor. | |
TestSpace (bool share, TestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. |
Test space
Test::Int::Distinct::Pathological::TestSpace::TestSpace | ( | void | ) | [inline] |
Constructor.
Definition at line 152 of file distinct.cpp.
Test::Int::Distinct::Pathological::TestSpace::TestSpace | ( | bool | share, |
TestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 154 of file distinct.cpp.
virtual Gecode::Space* Test::Int::Distinct::Pathological::TestSpace::copy | ( | bool | share | ) | [inline, virtual] |