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.
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.