Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
extensional.hh File Reference

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.
typedef TupleSet::Tuple Gecode::Int::Extensional::Tuple
 Tuple 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.