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