main page modules namespaces classes files
Gecode home

search for 

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

typedef Support::BlockAllocator<Edge> Gecode::Int::Regular::EdgeAllocator

Definition at line 44 of file dom.icc.

typedef Support::BlockAllocator<PosSet> Gecode::Int::Regular::PosSetAllocator

Allocator for position sets. Definition at line 33 of file reg.cc.

typedef Support::BlockAllocator<StateNode> Gecode::Int::Regular::StatePoolAllocator

Allocator for state nodes. Definition at line 481 of file reg.cc.

---

Enumeration Type Documentation

enum Gecode::Int::Regular::StateInfo

Information about states. Enumerator: SI_NONE  State is not reachable. SI_FROM_START  State is reachable from start state. SI_TO_FINAL  Final state is reachable from state. SI_FINAL  State is final. Definition at line 131 of file dfa.cc.

enum Gecode::Int::Regular::PosSetCmp

Order on position sets. Enumerator: PSC_LE  PSC_EQ  PSC_GR  Definition at line 311 of file reg.cc.

---

Variable Documentation

const int Gecode::Int::Regular::MOD_NONE = 0

No modification. Definition at line 62 of file dom.icc.

const int Gecode::Int::Regular::MOD_IDEG = 1

Indegree has become zero. Definition at line 63 of file dom.icc.

const int Gecode::Int::Regular::MOD_ODEG = 2

Outdegree has become zero. Definition at line 64 of file dom.icc.