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::CompressedSupport
	Compressed tuple-word support list. More...
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::CompactAdvisorIndex< false >
	Compact-table advisor without a variable index. More...
class	Gecode::Int::Extensional::CompactAdvisorIndex< true >
	Compact-table advisor with a variable index. More...
class	Gecode::Int::Extensional::CompactAdvisor< View, pos, indexed >
	Advisor shared by compact-table support representations. More...
class	Gecode::Int::Extensional::CompactStatus< Advisor >
	Touched-advisor status shared by positive compact-table propagators. More...
class	Gecode::Int::Extensional::Compact< View, pos >
	Base class for compact table propagator. 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::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::postposcompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table with compressed supports.
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>
ExecStatus	Gecode::Int::Extensional::postnegcompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for negative compact table with compressed supports.
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.
template<class View, class CtrlView, ReifyMode rm>
ExecStatus	Gecode::Int::Extensional::postrecompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
	Post function for reified compact table with compressed supports.