Setting up scripts
[Programming models]

---

Detailed Description

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

Functions
	Gecode::Space::Space (void)
	Default constructor.
virtual	Gecode::Space::~Space (void)
	Destructor.
	Gecode::Space::Space (bool share, Space &s)
	Constructor for cloning.
virtual Space *	Gecode::Space::copy (bool share)=0
	Copying member function.
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.

---

Function Documentation

Gecode::Space::Space

(

void

)

[inherited]

Default constructor.

Definition at line 108 of file core.cc.

Gecode::Space::~Space

(

void

)

[virtual, inherited]

Destructor.

Definition at line 191 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 360 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, Alpha, BACP, Baseline, BIBD, BlackHole, Crew, CrowdedChess, Domino, Donald, Eq20, Golf, GolombRuler, GraphColor, Grocery, Hamming, IndSet, JavaScript, Kakuro, KnightsReified, KnightsCircuit, LangfordNumber, MagicSequence, MagicSquare, MineSweeper, Money, Nonogram, OrthoLatinSquare, Partition, Pentominoes, PerfectSquare, Photo, QueenArmies, Queens, SportsLeague, Steiner, StressDistinct, StressDomain, StressElement, StressExec, StressExtensional, StressLinearBool, StressMin, StressSearch, SudokuInt, SudokuSet, SudokuCpltSet, SudokuMixed, TSP, Warehouses, Test::Assign::IntTestSpace, Test::Assign::BoolTestSpace, Test::Branch::IntTestSpace, Test::Branch::BoolTestSpace, Test::Branch::SetTestSpace, Test::Branch::CpltSetTestSpace, Test::CpltSet::CpltSetTestSpace, Test::Int::Distinct::Pathological::TestSpace, Test::Int::Scheduling::Ass, Test::Int::TestSpace, Test::Search::FailImmediate, Test::Search::HasSolutions, and Test::Set::SetTestSpace.

void * Gecode::Space::operator new

(

size_t

s

)

[inline, static, inherited]

Allocate memory from heap for new space.

Definition at line 1327 of file core.icc.

void Gecode::Space::operator delete

(

void *

p

)

[inline, static, inherited]

Free memory allocated from heap.

Definition at line 1331 of file core.icc.