Generated on Wed Jan 4 17:49:18 2006 for Gecode by doxygen 1.4.6

Gecode::Space Class Reference

Inherited by Example.

List of all members.


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 Spacecopy (bool share)=0
 Copying member function.
SpaceStatus status (unsigned int &a, unsigned long int &pn=unused)
 Query space status.
Spaceclone (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.
BranchingDescdescription (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

bool Gecode::Space::actors void   )  const [inline]
 

Check whether space has actors left.

Definition at line 1258 of file core.icc.


The documentation for this class was generated from the following files: