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)