Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Setting up scripts
[Programming models]


 Gecode::Space::Space (void)
 Default constructor.
virtual Gecode::Space::~Space (void)
 Gecode::Space::Space (bool share, Space &s)
 Constructor for cloning.
virtual Space * Gecode::Space::copy (bool share)=0
 Copying member function.
virtual void Gecode::Space::constrain (const Space &best)
 Constrain function for best solution search.
static void * Gecode::Space::operator new (size_t)
 Allocate memory from heap for new space.
static void Gecode::Space::operator delete (void *)
 Free memory allocated from heap.

Detailed Description

Scripts (or models) are programmed by inheriting from the class Gecode::Space. For many examples see Example scripts (models).

Function Documentation

Gecode::Space::Space ( void   )  [inherited]

Default constructor.

Definition at line 95 of file core.cpp.

Gecode::Space::~Space ( void   )  [virtual, inherited]


Definition at line 158 of file core.cpp.

Gecode::Space::Space ( bool  share,
Space s 
) [inherited]

Constructor for cloning.

Must copy and update all data structures (such as variables and variable arrays) required by the subclass of Space.

If share is true, share all data structures among copies. Otherwise, make independent copies.

Definition at line 406 of file core.cpp.

void Gecode::Space::constrain ( const Space best  )  [virtual, inherited]

Constrain function for best solution search.

Must constrain this space to be better than the so far best solution best.

If best solution search is used and this method is not redefined, an exception of type SpaceConstrainUndefined is thrown.

Reimplemented in Gecode::FlatZinc::FlatZincSpace, Gecode::MiniModel::OptimizeSpace< irt >, Test::Search::FailImmediate, and Test::Search::HasSolutions.

Definition at line 545 of file core.cpp.

void * Gecode::Space::operator new ( size_t  s  )  [inline, static, inherited]

Allocate memory from heap for new space.

Definition at line 1989 of file core.hpp.

void Gecode::Space::operator delete ( void *  p  )  [inline, static, inherited]

Free memory allocated from heap.

Definition at line 1993 of file core.hpp.