Gecode::Space Class Reference
Inherited by Example.Detailed Description
Computation spaces.
Definition at line 564 of file core.icc.
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 int &a, unsigned long int &pn=unused) |
Query space status. | |
Space * | clone (bool share=true, unsigned long int &pn=unused) |
Clone space. | |
void | commit (unsigned int a, BranchingDesc *d=NULL, unsigned long int &pn=unused) |
Commit space to alternative. | |
BranchingDesc * | description (void) const |
Get branching description for current branching. | |
void | flush (void) |
Flush cache datastructures in actors. | |
void | fail (void) |
Fail space. | |
bool | failed (void) const |
Check whether space is failed. | |
bool | actors (void) const |
Check whether space has actors left. | |
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 by this space. | |
size_t | cached (void) const |
Return how much memory is used by caches for actors. | |
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
|
Check whether space has actors left.
|
The documentation for this class was generated from the following files:
- kernel/core.icc (Revision: 2668)
- kernel/core.cc (Revision: 2425)