Classes 
class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx > 
 Domain consistent layered graph (regular) propagator. More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::State 
 States are described by number of incoming and outgoing edges. More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Edge 
 Edge defined by instate and outstate More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support 
 Support information for a value More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer 
 Layer for a view in the layered graph More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues 
 Iterator for telling variable domains by scanning support. More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index 
 Advisors for views (by position in array) More...

class  Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange 
 Range approximation of which positions have changed. More...

class  Gecode::Int::Extensional::BitSet< IndexType > 
 Bitset. More...

class  Gecode::Int::Extensional::TinyBitSet< _size > 
 Tiny bitset. More...

class  Gecode::Int::Extensional::Compact< View > 
 Base class for compact table propagator. More...

class  Gecode::Int::Extensional::Compact< View >::CTAdvisor 
 Advisor for updating current table. More...

class  Gecode::Int::Extensional::Compact< View >::Status 
 Status management. More...

class  Gecode::Int::Extensional::Compact< View >::ValidSupports 
 Iterator over valid supports. More...

class  Gecode::Int::Extensional::Compact< View >::LostSupports 
 Iterator over lost supports. More...

class  Gecode::Int::Extensional::CompactTable< View, Table > 
 Domain consistent extensional propagator. More...

Namespaces 
namespace  Gecode::Int::Extensional 
 Extensional propagators

namespace  Gecode 
 Gecode toplevel namespace

namespace  Gecode::Int 
 Finite domain integers.

Typedefs 
typedef Gecode::Support::BitSetData  Gecode::Int::Extensional::BitSetData 
 Import type.

Functions 
template<class Var > 
ExecStatus  Gecode::Int::Extensional::post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa) 
 Select small types for the layered graph propagator.

template<class View > 
ExecStatus  Gecode::Int::Extensional::postcompact (Home home, ViewArray< View > &x, const TupleSet &ts) 
 Post function for compact table propagator.
