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) | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Member Functions | |
TupleSet::TupleSetI * | ts (void) |
Base (Space &home, bool share, Base< View, subscribe > &p) | |
Constructor for cloning p. | |
Base (Home home, ViewArray< View > &x, const TupleSet &t) | |
Constructor for posting. | |
void | init_last (Space &home, Tuple **source) |
Initialize last support. | |
Tuple | last (int i, int n) |
Find last support for view at position i and value n. | |
Tuple | last_next (int i, int n) |
Find last support for view at position i and value n. | |
void | init_dom (Space &home, Domain dom) |
Initialize domain information. | |
bool | valid (Tuple t, Domain dom) |
Check wether tuple is valid for domain. | |
Tuple | find_support (Domain dom, int i, int n) |
Find support for view at position i and value n. | |
virtual | ~Base (void) |
Unused destructor (to avoid warnings) | |
Protected Attributes | |
ViewArray< View > | x |
Variables. | |
TupleSet | tupleSet |
Definition of constraint. | |
Tuple ** | last_data |
Last tuple looked at Access real tuple-set. |
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
#include <gecode/int/extensional.hh>
virtual Gecode::Int::Extensional::Base::~Base | ( | void | ) | [inline, protected, virtual] |
Unused destructor (to avoid warnings)
Definition at line 273 of file extensional.hh.
TupleSet::TupleSetI * Gecode::Int::Extensional::Base::ts | ( | void | ) | [inline, protected] |
Tuple Gecode::Int::Extensional::Base::last | ( | int | i, |
int | n | ||
) | [inline, protected] |
Tuple Gecode::Int::Extensional::Base::last_next | ( | int | i, |
int | n | ||
) | [inline, protected] |
PropCost Gecode::Int::Extensional::Base::cost | ( | const Space & | home, |
const ModEventDelta & | med | ||
) | const [virtual] |
Cost function (defined as high quadratic)
Implements Gecode::Propagator.
Reimplemented in Gecode::Int::Extensional::Incremental, and Gecode::Int::Extensional::Basic.
size_t Gecode::Int::Extensional::Base::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Int::Extensional::Incremental.
ViewArray<View> Gecode::Int::Extensional::Base::x [protected] |
Variables.
Definition at line 244 of file extensional.hh.
TupleSet Gecode::Int::Extensional::Base::tupleSet [protected] |
Definition of constraint.
Definition at line 245 of file extensional.hh.
Tuple** Gecode::Int::Extensional::Base::last_data [protected] |
Last tuple looked at Access real tuple-set.
Definition at line 246 of file extensional.hh.