
Base-class for advisors. More...
#include <core.hpp>
Public Member Functions | |
| template<class A > | |
| Advisor (Space &home, Propagator &p, Council< A > &c) | |
| Constructor for creation. More... | |
| Advisor (Space &home, bool share, Advisor &a) | |
| Copying constructor. More... | |
Protected Member Functions | |
| Propagator & | propagator (void) const |
| Return the advisor's propagator. More... | |
Memory management | |
| template<class A > | |
| void | dispose (Space &home, Council< A > &c) |
| Dispose the advisor. More... | |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. More... | |
| static void | operator delete (void *p, Space &home) |
| No-op for exceptions. More... | |
Additional Inherited Members | |
Private Member Functions inherited from Gecode::ActorLink | |
| void | init (void) |
| Initialize links (self-linked) More... | |
| void | unlink (void) |
| Remove from predecessor and successor. More... | |
| void | head (ActorLink *al) |
| Insert al directly after this. More... | |
| void | tail (ActorLink *al) |
| Insert al directly before this. More... | |
| bool | empty (void) const |
| Test whether actor link is empty (points to itself) More... | |
| template<class T > | |
| ActorLink * | cast (T *a) |
| template<class T > | |
| const ActorLink * | cast (const T *a) |
| ActorLink * | prev (void) const |
| Routines for double-linked list. More... | |
| void | prev (ActorLink *) |
| Routines for double-linked list. More... | |
| ActorLink * | next (void) const |
| Routines for double-linked list. More... | |
| void | next (ActorLink *) |
| Routines for double-linked list. More... | |
| ActorLink ** | next_ref (void) |
| Routines for double-linked list. More... | |
Static Private Member Functions inherited from Gecode::ActorLink | |
| template<class T > | |
| static ActorLink * | cast (T *a) |
| Static cast for a non-null pointer (to give a hint to optimizer) More... | |
| template<class T > | |
| static const ActorLink * | cast (const T *a) |
| Static cast for a non-null pointer (to give a hint to optimizer) More... | |
Base-class for advisors.
Advisors are typically subclassed for each propagator that wants to use advisors. The actual member function that is executed when a variable is changed, must be implemented by the advisor's propagator.
|
inline |
|
inlineprotected |
|
inlinestatic |
|
inlinestatic |