Collaboration diagram for Setting up scripts:
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 38 of file core.cc.
Gecode::Space::~Space |
( |
void |
|
) |
[virtual, inherited] |
Destructor.
Definition at line 89 of file core.cc.
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 313 of file core.cc.
virtual Space* Gecode::Space::copy |
( |
bool |
share |
) |
[pure virtual, inherited] |
Copying member function.
Must create a new object using the constructor for cloning.
Implemented in AllInterval, AllInterval, Alpha, Baseline, BIBD, Cars, Crew, CrowdedChess, Donald, Eq20, Golf, Golomb, GraphColor, Grocery, Hamming, IndSet, Knights, LangfordNum, MagicSequence, MagicSequence, MagicSquare, Money, OrthoLatinSquare, Packing, Partition, Photo, PicturePuzzle, Queens, SportsLeague, Steiner, StressDomain, StressFailure, StressSearch, SudokuMixed, SudokuSet, Sudoku, and Warehouses.
void * Gecode::Space::operator new |
( |
size_t |
|
) |
[inline, static, inherited] |
Allocate memory from heap for new space.
Definition at line 895 of file core.icc.
void Gecode::Space::operator delete |
( |
void * |
|
) |
[inline, static, inherited] |
Free memory allocated from heap.
Definition at line 899 of file core.icc.