Gecode::Int::Extensional Namespace Reference
Extensional propagators More...
Classes | |
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 | VarTraits |
Traits class for variables. More... | |
class | VarTraits< IntVar > |
Traits class for variables. More... | |
class | VarTraits< BoolVar > |
Traits class for variables. 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 Support::BitSetBase | BitSet |
typedef Support::BitSetBase * | 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 227 of file extensional.hh.
Definition at line 228 of file extensional.hh.
Definition at line 229 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.