Generated on Sat Aug 25 2012 15:53:05 for Gecode by doxygen 1.7.5
extensional.hh File Reference

(Revision: 11192)

Go to the source code of this file.

Classes

class  Gecode::Int::Extensional::LayeredGraph
 Domain consistent layered graph (regular) propagator. More...
class  Gecode::Int::Extensional::LayeredGraph::State
 States are described by number of incoming and outgoing edges. More...
class  Gecode::Int::Extensional::LayeredGraph::Edge
 Edge defined by in-state and out-state More...
class  Gecode::Int::Extensional::LayeredGraph::Support
 Support information for a value More...
class  Gecode::Int::Extensional::LayeredGraph::Layer
 Layer for a view in the layered graph More...
class  Gecode::Int::Extensional::LayeredGraph::LayerValues
 Iterator for telling variable domains by scanning support. More...
class  Gecode::Int::Extensional::LayeredGraph::Index
 Advisors for views (by position in array) More...
class  Gecode::Int::Extensional::LayeredGraph::IndexRange
 Range approximation of which positions have changed. More...
class  Gecode::Int::Extensional::Base
 Base for domain consistent extensional propagation More...
class  Gecode::Int::Extensional::Basic
 Domain consistent extensional propagator. More...
class  Gecode::Int::Extensional::Incremental
 Domain consistent extensional propagator. More...
class  Gecode::Int::Extensional::Incremental::SupportEntry
 Entry for storing support. More...
class  Gecode::Int::Extensional::Incremental::WorkEntry
 Description of work to be done. More...
class  Gecode::Int::Extensional::Incremental::Work
 Work stack More...
class  Gecode::Int::Extensional::Incremental::SupportAdvisor
 Advisor for computing support. 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.