Generated on Thu Mar 22 10:39:47 2012 for Gecode by doxygen 1.6.3

extensional.hh File Reference

(Revision: 11192)

#include <gecode/int.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/extensional/layered-graph.hpp>
#include <gecode/int/extensional/base.hpp>
#include <gecode/int/extensional/basic.hpp>
#include <gecode/int/extensional/incremental.hpp>

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

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.