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.