|
| TestSpace (void) |
| Constructor for creation. More...
|
|
| TestSpace (bool share, TestSpace &s) |
| Constructor for cloning s. More...
|
|
void | post (void) |
| Post arbitrary propagator. More...
|
|
virtual Space * | copy (bool share) |
| Copy during cloning. More...
|
|
| Space (void) |
| Default constructor. More...
|
|
virtual | ~Space (void) |
| Destructor. More...
|
|
| Space (bool share, Space &s) |
| Constructor for cloning. More...
|
|
virtual void | constrain (const Space &best) |
| Constrain function for best solution search. More...
|
|
virtual bool | master (const CRI &cri) |
| Master configuration function for restart meta search engine. More...
|
|
virtual bool | slave (const CRI &cri) |
| Slave configuration function for restart meta search engine. More...
|
|
SpaceStatus | status (StatusStatistics &stat=unused_status) |
| Query space status. More...
|
|
const Choice * | choice (void) |
| Create new choice for current brancher. More...
|
|
const Choice * | choice (Archive &e) const |
| Create new choice from e. More...
|
|
Space * | clone (bool share=true, CloneStatistics &stat=unused_clone) const |
| Clone space. More...
|
|
void | commit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit) |
| Commit choice c for alternative a. More...
|
|
void | trycommit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit) |
| If possible, commit choice c for alternative a. More...
|
|
NGL * | ngl (const Choice &c, unsigned int a) |
| Create no-good literal for choice c and alternative a. More...
|
|
void | print (const Choice &c, unsigned int a, std::ostream &o) const |
| Print branch for choice c and alternative a. More...
|
|
void | notice (Actor &a, ActorProperty p, bool duplicate=false) |
| Notice actor property. More...
|
|
void | ignore (Actor &a, ActorProperty p, bool duplicate=false) |
| Ignore actor property. More...
|
|
ExecStatus | ES_SUBSUMED (Propagator &p) |
|
ExecStatus | ES_SUBSUMED_DISPOSED (Propagator &p, size_t s) |
| Propagator p is subsumed More...
|
|
ExecStatus | ES_FIX_PARTIAL (Propagator &p, const ModEventDelta &med) |
| Propagator p has computed partial fixpoint More...
|
|
ExecStatus | ES_NOFIX_PARTIAL (Propagator &p, const ModEventDelta &med) |
| Propagator p has not computed partial fixpoint More...
|
|
template<class A > |
ExecStatus | ES_FIX_DISPOSE (Council< A > &c, A &a) |
| Advisor a must be disposed More...
|
|
template<class A > |
ExecStatus | ES_NOFIX_DISPOSE (Council< A > &c, A &a) |
| Advisor a must be disposed and its propagator must be run More...
|
|
template<class A > |
ExecStatus | ES_NOFIX_DISPOSE_FORCE (Council< A > &c, A &a) |
| Advisor a must be disposed and its propagator must be forcefully rescheduled More...
|
|
void | fail (void) |
| Fail space. More...
|
|
bool | failed (void) const |
| Check whether space is failed. More...
|
|
bool | stable (void) const |
| Return if space is stable (at fixpoint or failed) More...
|
|
unsigned int | propagators (void) const |
| Return number of propagators. More...
|
|
unsigned int | branchers (void) const |
| Return number of branchers. More...
|
|
template<class T > |
T * | alloc (long unsigned int n) |
| Allocate block of n objects of type T from space heap. More...
|
|
template<class T > |
T * | alloc (long int n) |
| Allocate block of n objects of type T from space heap. More...
|
|
template<class T > |
T * | alloc (unsigned int n) |
| Allocate block of n objects of type T from space heap. More...
|
|
template<class T > |
T * | alloc (int n) |
| Allocate block of n objects of type T from space heap. More...
|
|
template<class T > |
void | free (T *b, long unsigned int n) |
| Delete n objects allocated from space heap starting at b. More...
|
|
template<class T > |
void | free (T *b, long int n) |
| Delete n objects allocated from space heap starting at b. More...
|
|
template<class T > |
void | free (T *b, unsigned int n) |
| Delete n objects allocated from space heap starting at b. More...
|
|
template<class T > |
void | free (T *b, int n) |
| Delete n objects allocated from space heap starting at b. More...
|
|
template<class T > |
T * | realloc (T *b, long unsigned int n, long unsigned int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
|
|
template<class T > |
T * | realloc (T *b, long int n, long int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
|
|
template<class T > |
T * | realloc (T *b, unsigned int n, unsigned int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
|
|
template<class T > |
T * | realloc (T *b, int n, int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
|
|
template<class T > |
T ** | realloc (T **b, long unsigned int n, long unsigned int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
|
|
template<class T > |
T ** | realloc (T **b, long int n, long int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
|
|
template<class T > |
T ** | realloc (T **b, unsigned int n, unsigned int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
|
|
template<class T > |
T ** | realloc (T **b, int n, int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
|
|
void * | ralloc (size_t s) |
| Allocate memory on space heap. More...
|
|
void | rfree (void *p, size_t s) |
| Free memory previously allocated with alloc (might be reused later) More...
|
|
void * | rrealloc (void *b, size_t n, size_t m) |
| Reallocate memory block starting at b from size n to size s. More...
|
|
template<size_t > |
void * | fl_alloc (void) |
| Allocate from freelist-managed memory. More...
|
|
template<size_t > |
void | fl_dispose (FreeList *f, FreeList *l) |
| Return freelist-managed memory to freelist. More...
|
|
void | flush (void) |
| Flush cached memory blocks. More...
|
|
Home | operator() (Propagator &p) |
| Return a home for this space with the information that p is being rewritten. More...
|
|
template<class T > |
T & | construct (void) |
| Construction routines. More...
|
|
template<class T , typename A1 > |
T & | construct (A1 const &a1) |
| Constructs a single object of type T from space heap using a unary constructor. More...
|
|
template<class T , typename A1 , typename A2 > |
T & | construct (A1 const &a1, A2 const &a2) |
| Constructs a single object of type T from space heap using a binary constructor. More...
|
|
template<class T , typename A1 , typename A2 , typename A3 > |
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3) |
| Constructs a single object of type T from space heap using a ternary constructor. More...
|
|
template<class T , typename A1 , typename A2 , typename A3 , typename A4 > |
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4) |
| Constructs a single object of type T from space heap using a quaternary constructor. More...
|
|
template<class T , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 > |
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4, A5 const &a5) |
| Constructs a single object of type T from space heap using a quinary constructor. More...
|
|
void | afc_decay (double d) |
| Set AFC decay factor to d More...
|
|
double | afc_decay (void) const |
| Return AFC decay factor. More...
|
|
void | afc_set (double a) |
| Reset AFC to a. More...
|
|