Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
extensional.hh File Reference

(Revision: 12963)

Go to the source code of this file.

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 in-state and out-state 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

 Gecode::Int::Extensional
 Extensional propagators
 
 Gecode
 Gecode toplevel 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. More...