Gecode::Int::Extensional Namespace Reference

Extensional propagators More...

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	VarTraits
	Traits class for variables. More...
class	VarTraits< IntVar >
	Traits class for variables. More...
class	VarTraits< BoolVar >
	Traits class for variables. 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 Support::BitSetBase	BitSet
typedef Support::BitSetBase *	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

---

Typedef Documentation

typedef TupleSet::Tuple Gecode::Int::Extensional::Tuple

Definition at line 229 of file extensional.hh.

typedef Support::BitSetBase Gecode::Int::Extensional::BitSet

Definition at line 230 of file extensional.hh.

typedef Support::BitSetBase* Gecode::Int::Extensional::Domain

Definition at line 231 of file extensional.hh.

---

Enumeration Type Documentation

enum Gecode::Int::Extensional::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 144 of file dfa.cpp.

---

Function Documentation

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.