
Classes | |
| class | Gecode::DFA |
| Deterministic finite automaton (DFA) More... | |
| class | Gecode::TupleSet |
| Class represeting a set of tuples. More... | |
Functions | |
| void | Gecode::extensional (Home home, const IntVarArgs &x, DFA d, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. | |
| void | Gecode::extensional (Home home, const BoolVarArgs &x, DFA d, IntPropLevel ipl=IPL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. | |
| void | Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() | |
| void | Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, bool pos, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() ![]() | |
| void | Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, Reify r, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() | |
| void | Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, bool pos, Reify r, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() ![]() | |
| void | Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() | |
| void | Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, bool pos, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() ![]() | |
| void | Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, Reify r, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() | |
| void | Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, bool pos, Reify r, IntPropLevel ipl=IPL_DEF) |
Post propagator for ![]() ![]() | |
Extensional constraints support different ways of how the extensionally defined relation between the variables is defined. Examples include specification by a DFA or a table.
A DFA can be defined by a regular expression, for regular expressions see the module MiniModel.
| void Gecode::extensional | ( | Home | home, |
| const IntVarArgs & | x, | ||
| DFA | d, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post domain consistent propagator for extensional constraint described by a DFA.
The elements of x must be a word of the language described by the DFA d.
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply. If shared occurences of variables are required, unshare should be used.
Definition at line 39 of file extensional-regular.cpp.
| void Gecode::extensional | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| DFA | d, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post domain consistent propagator for extensional constraint described by a DFA.
The elements of x must be a word of the language described by the DFA d.
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply. If shared occurences of variables are required, unshare should be used.
Definition at line 49 of file extensional-regular.cpp.
|
inline |
Post propagator for 
Definition at line 37 of file extensional.hpp.
| void Gecode::extensional | ( | Home | home, |
| const IntVarArgs & | x, | ||
| const TupleSet & | t, | ||
| bool | pos, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post propagator for 



Definition at line 43 of file extensional-tuple-set.cpp.
|
inline |
Post propagator for 
Definition at line 43 of file extensional.hpp.
| void Gecode::extensional | ( | Home | home, |
| const IntVarArgs & | x, | ||
| const TupleSet & | t, | ||
| bool | pos, | ||
| Reify | r, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post propagator for 



Definition at line 60 of file extensional-tuple-set.cpp.
|
inline |
Post propagator for 
Definition at line 49 of file extensional.hpp.
| void Gecode::extensional | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| const TupleSet & | t, | ||
| bool | pos, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post propagator for 



Definition at line 108 of file extensional-tuple-set.cpp.
|
inline |
Post propagator for 
Definition at line 55 of file extensional.hpp.
| void Gecode::extensional | ( | Home | home, |
| const BoolVarArgs & | x, | ||
| const TupleSet & | t, | ||
| bool | pos, | ||
| Reify | r, | ||
| IntPropLevel | ipl = IPL_DEF ) |
Post propagator for 



Definition at line 127 of file extensional-tuple-set.cpp.