Gecode::Int::Regular Namespace Reference
Detailed Description
Regular propagators
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 | State |
States are described by number of incoming and outgoing edges. More... | |
class | Edge |
Edge in the layered graph More... | |
class | Layer |
A layer in the layered graph. More... | |
class | EdgeRanges |
Iterator for telling variable domains by scanning transitions. More... | |
class | PosSet |
Sets of positions. More... | |
class | NodeInfo |
Node information computed during traversal of the expressions. More... | |
class | PosInfo |
Information on positions collected during traversal. More... | |
class | StateNode |
Node together with state information More... | |
class | StatePool |
State pool combines a tree of states together with yet unprocessed states More... | |
class | SymbolsInc |
Sort symbols. More... | |
class | TransitionBag |
For collecting transitions while constructing a DFA. More... | |
class | FinalBag |
For collecting final states while constructing a DFA. More... | |
class | Dom |
Domain-consistent regular propagator. More... | |
Flags for modification in layer | |
const int | MOD_NONE = 0 |
No modification. | |
const int | MOD_IDEG = 1 |
Indegree has become zero. | |
const int | MOD_ODEG = 2 |
Outdegree has become zero. | |
Typedefs | |
typedef Support::BlockAllocator< Edge > | EdgeAllocator |
typedef Support::BlockAllocator< PosSet > | PosSetAllocator |
Allocator for position sets. | |
typedef Support::BlockAllocator< StateNode > | StatePoolAllocator |
Allocator for state nodes. | |
Enumerations | |
enum | StateInfo { SI_NONE = 0, SI_FROM_START = 1, SI_TO_FINAL = 2, SI_FINAL = 4 } |
Information about states. More... | |
enum | PosSetCmp { PSC_LE, PSC_EQ, PSC_GR } |
Order on position sets. More... |
Typedef Documentation
|
|
|
Allocator for position sets.
|
|
Allocator for state nodes.
|
Enumeration Type Documentation
|
Information about states.
|
|
Order on position sets.
|
Variable Documentation
|
No modification.
|
|
Indegree has become zero.
|
|
Outdegree has become zero.
|