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	TupleCompare
	Tuple comparison. More...
class	PosCompare
	Tuple comparison by position. More...
class	LayeredGraph
	Domain consistent layered graph (regular) propagator. More...
class	BitSet
	Bit-set. More...
class	TinyBitSet
	Tiny bit-set. More...
class	Compact
	Base class for compact table propagator. More...
class	PosCompact
	Domain consistent positive extensional propagator. More...
class	NegCompact
	Domain consistent negative extensional propagator. More...
class	ReCompact
	Domain consistent reified extensional propagator. More...
Typedefs
typedef ::Gecode::TupleSet::Tuple	Tuple
	Import tuple type.
typedef Gecode::Support::BitSetData	BitSetData
	Import type.
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	postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table propagator.
template<class View >
ExecStatus	postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for compact table propagator.
template<class View , class CtrlView , ReifyMode rm>
ExecStatus	postrecompact (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
	Post function for compact table propagator.
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

Import tuple type.

Tuple type.

Definition at line 44 of file tuple-set.cpp.

typedef Gecode::Support::BitSetData Gecode::Int::Extensional::BitSetData

Import type.

Definition at line 226 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 140 of file dfa.cpp.

---

Function Documentation

template<class View >

ExecStatus Gecode::Int::Extensional::postposcompact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts
	)			[inline]

Post function for positive compact table propagator.

template<class View >

ExecStatus Gecode::Int::Extensional::postnegcompact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts
	)			[inline]

Post function for compact table propagator.

template<class View , class CtrlView , ReifyMode rm>

ExecStatus Gecode::Int::Extensional::postrecompact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts,
		CtrlView	b
	)			[inline]

Post function for compact table propagator.

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.