Base for domain consistent extensional propagation More...
#include <extensional.hh>
Public Member Functions | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as high quadratic) More... | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. More... | |
![]() | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med)=0 |
Propagation function. More... | |
ModEventDelta | modeventdelta (void) const |
Return the modification event delta. More... | |
virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
Advise function. More... | |
double | afc (const Space &home) const |
Return the accumlated failure count. More... | |
![]() | |
virtual Actor * | copy (Space &home, bool share)=0 |
Create copy. More... | |
Protected Member Functions | |
TupleSet::TupleSetI * | ts (void) |
Base (Space &home, bool share, Base< View, subscribe > &p) | |
Constructor for cloning p. More... | |
Base (Home home, ViewArray< View > &x, const TupleSet &t) | |
Constructor for posting. More... | |
void | init_last (Space &home, Tuple **source, Tuple *base) |
Initialize last support. More... | |
Tuple | last (int i, int n) |
Find last support for view at position i and value n. More... | |
Tuple | last_next (int i, int n) |
Find last support for view at position i and value n. More... | |
void | init_dom (Space &home, Domain dom) |
Initialize domain information. More... | |
bool | valid (Tuple t, Domain dom) |
Check wether tuple is valid for domain. More... | |
Tuple | find_support (Domain dom, int i, int n) |
Find support for view at position i and value n. More... | |
virtual | ~Base (void) |
Unused destructor (to avoid warnings) More... | |
![]() | |
Propagator (Home home) | |
Constructor for posting. More... | |
Propagator (Space &home, bool share, Propagator &p) | |
Constructor for cloning p. More... | |
Propagator * | fwd (void) const |
Return forwarding pointer during copying. More... | |
Protected Attributes | |
ViewArray< View > | x |
Variables. More... | |
TupleSet | tupleSet |
Definition of constraint. More... | |
Tuple ** | last_data |
Last tuple looked at Access real tuple-set. More... | |
Additional Inherited Members | |
![]() | |
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... | |
Base for domain consistent extensional propagation
This class contains support for implementing domain consistent extensional propagation algorithms that use positive tuple sets and a last data structure.
Requires
Definition at line 242 of file extensional.hh.
|
inlineprotected |
|
inlineprotected |
|
inlineprotectedvirtual |
Unused destructor (to avoid warnings)
Definition at line 273 of file extensional.hh.
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
virtual |
Cost function (defined as high quadratic)
Implements Gecode::Propagator.
Reimplemented in Gecode::Int::Extensional::Incremental< View >, and Gecode::Int::Extensional::Basic< View, shared >.
|
inlinevirtual |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Int::Extensional::Incremental< View >.
|
protected |
Variables.
Definition at line 244 of file extensional.hh.
|
protected |
Definition of constraint.
Definition at line 245 of file extensional.hh.
|
protected |
Last tuple looked at Access real tuple-set.
Definition at line 246 of file extensional.hh.