Extensional propagators More...
Classes | |
class | BitSet |
Bit-set. More... | |
class | Compact |
Base class for compact table propagator. More... | |
class | CompactTable |
Domain consistent extensional propagator. More... | |
class | GroupStates |
GroupStates is used to index StateGroup by group More... | |
class | LayeredGraph |
Domain consistent layered graph (regular) propagator. More... | |
class | PosCompare |
Tuple comparison by position. 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 | TinyBitSet |
Tiny bit-set. More... | |
class | TransByI_State |
Sort transition array by input state. More... | |
class | TransByO_State |
Sort transition array by output 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 | TupleCompare |
Tuple comparison. More... | |
class | VarTraits |
Traits class for variables. More... | |
class | VarTraits< BoolVar > |
Traits class for variables. More... | |
class | VarTraits< IntVar > |
Traits class for variables. More... | |
Typedefs | |
typedef ::Gecode::TupleSet::Tuple | Tuple |
Import tuple type. More... | |
typedef Gecode::Support::BitSetData | BitSetData |
Import type. More... | |
Enumerations | |
enum | StateInfo { SI_NONE = 0, SI_FROM_START = 1, SI_TO_FINAL = 2, SI_FINAL = 4 } |
Information about states. More... | |
Functions | |
template<class View > | |
ExecStatus | postcompact (Home home, ViewArray< View > &x, const TupleSet &ts) |
Post function for compact table propagator. More... | |
template<class Var > | |
ExecStatus | post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa) |
Select small types for the layered graph propagator. More... | |
Extensional propagators
Import type.
Definition at line 231 of file extensional.hh.
|
inline |
Post function for compact table propagator.
Definition at line 585 of file compact.hpp.
|
inline |
Select small types for the layered graph propagator.
Definition at line 856 of file layered-graph.hpp.