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 View > | |
| ExecStatus | post_lgp (Space &home, ViewArray< View > &x, DFA dfa) |
| Select small types for the layered graph propagator. | |
Detailed Description
Extensional propagators
Typedef Documentation
Definition at line 209 of file extensional.hh.
| typedef BitSet* Gecode::Int::Extensional::Domain |
Definition at line 210 of file extensional.hh.
Enumeration Type Documentation
Function Documentation
template<class View >
| ExecStatus Gecode::Int::Extensional::post_lgp | ( | Space & | home, | |
| ViewArray< View > & | x, | |||
| DFA | dfa | |||
| ) | [inline] |
Select small types for the layered graph propagator.
Definition at line 535 of file layered-graph.hpp.