Functions | |
Gecode::Space::Space (void) | |
Default constructor. More... | |
virtual | Gecode::Space::~Space (void) |
Destructor. More... | |
Gecode::Space::Space (bool share, Space &s) | |
Constructor for cloning. More... | |
virtual Space * | Gecode::Space::copy (bool share)=0 |
Copying member function. More... | |
virtual void | Gecode::Space::constrain (const Space &best) |
Constrain function for best solution search. More... | |
virtual void | Gecode::Space::master (unsigned long int i, const Space *s) |
Master configuration function for restart meta search engine. More... | |
virtual void | Gecode::Space::slave (unsigned long int i, const Space *s) |
Slave configuration function for restart meta search engine. More... | |
static void * | Gecode::Space::operator new (size_t) |
Allocate memory from heap for new space. More... | |
static void | Gecode::Space::operator delete (void *) |
Free memory allocated from heap. More... | |
Scripts (or models) are programmed by inheriting from the class Gecode::Space. For many examples see Example scripts (models).
Gecode::Space::Space | ( | bool | share, |
Space & | s | ||
) |
|
pure virtual |
Copying member function.
Must create a new object using the constructor for cloning.
Implemented in Test::LDSB::LDSBLatin::Latin, Gecode::FlatZinc::FlatZincSpace, Test::Set::SetTestSpace, Test::Float::TestSpace, Test::Array::TestSpace, Test::Int::TestSpace, Test::LDSB::OneArraySet, Test::Search::HasSolutions, Test::Int::Distinct::Pathological::TestSpace, Test::LDSB::OneArray, Test::Branch::FloatTestSpace, Test::Branch::SetTestSpace, Test::Assign::FloatTestSpace, Test::Branch::BoolTestSpace, Test::Search::FailImmediate, Test::Assign::SetTestSpace, Test::Branch::IntTestSpace, Test::Int::Cumulatives::Ass, Test::Assign::BoolTestSpace, Test::AFC::TestSpace, Test::BrancherHandle::TestSpace, Test::Set::FakeSpace, Test::Assign::IntTestSpace, and Gecode::Search::FailedSpace.
|
virtual |
Constrain function for best solution search.
Must constrain this space to be better than the so far best solution best.
The default function does nothing.
Reimplemented in Gecode::MiniModel::OptimizeSpace< irt >, Gecode::FlatZinc::FlatZincSpace, Test::Search::HasSolutions, and Test::Search::FailImmediate.
|
virtual |
Master configuration function for restart meta search engine.
A restart meta search engine calls this function on its master space whenever it finds a solution or exploration restarts. i is the number of the restart. s is either the solution space or NULL.
The default function does nothing.
Reimplemented in Test::Search::HasSolutions.
|
virtual |
Slave configuration function for restart meta search engine.
A restart meta search engine calls this function on its slave space whenever it finds a solution or exploration restarts. i is the number of the restart. s is either the solution space or NULL.
The default function does nothing.
|
inlinestatic |