Gecode::Space Class Reference
Inherited by Example, Test::Assign::BoolTestSpace, Test::Assign::IntTestSpace, Test::Branch::BoolTestSpace, Test::Branch::CpltSetTestSpace, Test::Branch::IntTestSpace, Test::Branch::SetTestSpace, Test::CpltSet::CpltSetTestSpace, Test::Int::Distinct::Pathological::TestSpace, Test::Int::Scheduling::Ass, Test::Int::TestSpace, Test::Search::TestSpace, and Test::Set::SetTestSpace.
Detailed Description
Computation spaces.Definition at line 1000 of file core.icc.
Reflection | |
virtual void | getVars (Reflection::VarMap &m, bool registerOnly) |
Enter variables into m. | |
Reflection::BranchingSpec | branchingSpec (Reflection::VarMap &m, const BranchingDesc *d) const |
Get reflection for BranchingDesc d. | |
Public Member Functions | |
Space (void) | |
Default constructor. | |
virtual | ~Space (void) |
Destructor. | |
Space (bool share, Space &s) | |
Constructor for cloning. | |
virtual Space * | copy (bool share)=0 |
Copying member function. | |
SpaceStatus | status (unsigned long int &pn=unused_uli) |
Query space status. | |
const BranchingDesc * | description (void) const |
Create new branching description for current branching. | |
Space * | clone (bool share=true) |
Clone space. | |
void | commit (const BranchingDesc *d, unsigned int a) |
Commit branching description d and for alternative a. | |
void | fail (void) |
Fail space. | |
bool | failed (void) const |
Check whether space is failed. | |
bool | stable (void) const |
Return if space is stable (at fixpoint or failed). | |
unsigned int | propagators (void) const |
Return number of propagators. | |
unsigned int | branchings (void) const |
Return number of branchings. | |
void * | alloc (size_t) |
Allocate memory on space heap. | |
void | reuse (void *, size_t) |
Attempt to reuse memory previously allocated with alloc. | |
template<size_t > | |
void * | fl_alloc (void) |
Allocate from freelist-managed memory. | |
template<size_t > | |
void | fl_dispose (FreeList *f, FreeList *l) |
Return freelist-managed memory to freelist. | |
size_t | allocated (void) const |
Return how much heap memory is allocated. | |
Static Public Member Functions | |
static void * | operator new (size_t) |
Allocate memory from heap for new space. | |
static void | operator delete (void *) |
Free memory allocated from heap. |
Member Function Documentation
unsigned int Gecode::Space::propagators | ( | void | ) | const |
unsigned int Gecode::Space::branchings | ( | void | ) | const |
void Gecode::Space::getVars | ( | Reflection::VarMap & | m, | |
bool | registerOnly | |||
) | [virtual] |
Reflection::BranchingSpec Gecode::Space::branchingSpec | ( | Reflection::VarMap & | m, | |
const BranchingDesc * | d | |||
) | const |
Member Data Documentation
Cost level with next propagator to be executed.
This maintains the following invariant (but only if the space does not perform propagation):
- If active points to a queue, this queue might contain a propagator. However, there will be at least on queue containing a propagator.
- Otherwise, active is smaller than the beginning of the queues. Then, the space is stable.
- If active is NULL, the space is failed.
ActorLink Gecode::Space::queue[PC_MAX+1] |
unsigned int Gecode::Space::branch_id |
unsigned int Gecode::Space::n_sub |
struct { ... } Gecode::Space::p |
Reimplemented in StressElement, and TSP.
struct { ... } Gecode::Space::c |
The documentation for this class was generated from the following files:
- gecode/kernel/core.icc (Revision: 6338)
- gecode/kernel/core.cc (Revision: 6338)
- gecode/kernel/var-imp.icc