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 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

Definition at line 202 of file extensional.hh.

Definition at line 203 of file extensional.hh.

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 144 of file dfa.cpp.

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.