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::Base< View, subscribe > 
 Base for domain consistent extensional propagation More...

class  Gecode::Int::Extensional::Basic< View, shared > 
 Domain consistent extensional propagator. More...

class  Gecode::Int::Extensional::Incremental< View > 
 Domain consistent extensional propagator. More...

class  Gecode::Int::Extensional::Incremental< View >::SupportEntry 
 Entry for storing support. More...

class  Gecode::Int::Extensional::Incremental< View >::WorkEntry 
 Description of work to be done. More...

class  Gecode::Int::Extensional::Incremental< View >::Work 
 Work stack More...

Namespaces 
namespace  Gecode::Int::Extensional 
 Extensional propagators

namespace  Gecode 
 Gecode toplevel namespace

namespace  Gecode::Int 
 Finite domain integers.

Typedefs 
typedef TupleSet::Tuple  Gecode::Int::Extensional::Tuple 
typedef Support::BitSetBase  Gecode::Int::Extensional::BitSet 
typedef Support::BitSetBase *  Gecode::Int::Extensional::Domain 
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.
