Classes |
class | Index |
| Advisors for views (by position in array) More...
|
class | Pos |
| Positions in view array that have to be propagated. More...
|
Public Member Functions |
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function.
|
virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
| Give advice to propagator.
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
virtual size_t | dispose (Space &home) |
| Delete propagator and return its size.
|
Static Public Member Functions |
static ExecStatus | post (Home home, ViewArray< View > &x) |
| Post propagator for .
|
Protected Member Functions |
bool | empty (void) const |
| Whether no more positions must be propagated.
|
int | pop (Space &home) |
| Pop a position to be propagated and return it.
|
void | push (Space &home, int p) |
| Push a new position p to be propagated.
|
| NaryLqLe (Space &home, bool share, NaryLqLe< View, o > &p) |
| Constructor for cloning p.
|
| NaryLqLe (Home home, ViewArray< View > &) |
| Constructor for posting.
|
Protected Attributes |
Council< Index > | c |
| The advisor council.
|
Pos * | pos |
| Stack of positions.
|
bool | run |
| Whether the propagator is currently running.
|
int | n_subsumed |
| Number of already subsumed advisors (or views)
|
Static Protected Attributes |
static const int | n_threshold = 7 |
| Compact during cloning when more advisors than that are subsumed.
|
n-ary less and less or equal propagator
If o is 0, less or equal is propagated, if o is 1 less is propagated.
Requires