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.