Gecode::Int::Extensional Namespace Reference
Extensional propagators More...
Classes | |
class | BitSet |
Simple bitsets. More... | |
class | TransByI_State |
Sort transition array by input state. More... | |
class | TransBySymbol |
Sort transition array by symbol (value). More... | |
class | TransBySymbolI_State |
Sort transition array by symbol and then input states. More... | |
class | TransByO_State |
Sort transition array by output state. More... | |
class | StateGroup |
Stategroup is used to compute a partition of states. More... | |
class | StateGroupByGroup |
Sort groups stated by group and then state. More... | |
class | GroupStates |
GroupStates is used to index StateGroup by group More... | |
class | LayeredGraph |
Domain consistent layered graph (regular) propagator. More... | |
class | Base |
Base for domain consistent extensional propagation. More... | |
class | Basic |
Domain consistent extensional propagator. More... | |
class | Incremental |
Domain consistent extensional propagator. More... | |
Typedefs | |
typedef TupleSet::Tuple | Tuple |
typedef BitSet * | Domain |
Enumerations | |
enum | StateInfo { SI_NONE = 0, SI_FROM_START = 1, SI_TO_FINAL = 2, SI_FINAL = 4 } |
Information about states. More... | |
Functions | |
template<class Var > | |
ExecStatus | post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa) |
Select small types for the layered graph propagator. |
Detailed Description
Extensional propagators
Typedef Documentation
Definition at line 202 of file extensional.hh.
typedef BitSet* Gecode::Int::Extensional::Domain |
Definition at line 203 of file extensional.hh.
Enumeration Type Documentation
Function Documentation
template<class Var >
ExecStatus Gecode::Int::Extensional::post_lgp | ( | Home | home, | |
const VarArgArray< Var > & | x, | |||
const DFA & | dfa | |||
) | [inline] |
Select small types for the layered graph propagator.