Generated on Thu Apr 11 13:59:28 2019 for Gecode by doxygen 1.6.3

extensional.hh File Reference

#include <gecode/int.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/extensional/layered-graph.hpp>
#include <gecode/int/extensional/bit-set.hpp>
#include <gecode/int/extensional/tiny-bit-set.hpp>
#include <gecode/int/extensional/compact.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::BitSet< IndexType >
 Bit-set. More...
class  Gecode::Int::Extensional::TinyBitSet< _size >
 Tiny bit-set. More...
class  Gecode::Int::Extensional::Compact< View, pos >
 Base class for compact table propagator. More...
class  Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor
 Advisor for updating current table. More...
class  Gecode::Int::Extensional::Compact< View, pos >::ValidSupports
 Iterator over valid supports. More...
class  Gecode::Int::Extensional::Compact< View, pos >::LostSupports
 Iterator over lost supports. More...
class  Gecode::Int::Extensional::PosCompact< View, Table >
 Domain consistent positive extensional propagator. More...
class  Gecode::Int::Extensional::PosCompact< View, Table >::Status
 Status management. More...
class  Gecode::Int::Extensional::NegCompact< View, Table >
 Domain consistent negative extensional propagator. More...
class  Gecode::Int::Extensional::ReCompact< View, Table, CtrlView, rm >
 Domain consistent reified 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::postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
 Post function for positive compact table propagator.
template<class View >
ExecStatus Gecode::Int::Extensional::postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
 Post function for compact table propagator.
template<class View , class CtrlView , ReifyMode rm>
ExecStatus Gecode::Int::Extensional::postrecompact (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
 Post function for compact table propagator.