extensional-tuple-set.cpp File Reference

#include <gecode/int/extensional.hh>

Go to the source code of this file.

Classes
class	Gecode::Int::Extensional::SparseDeltaValues
	Iterate table values in a delta interval. More...
class	Gecode::Int::Extensional::SparseAdvisor< View >
	Advisor shared by the sparse positive, negative, and reified actors. More...
class	Gecode::Int::Extensional::SparseTupleState< Derived, View >
	Active tuple state shared by sparse table actors. More...
class	Gecode::Int::Extensional::SparseInc< View, pos >
class	Gecode::Int::Extensional::SparseReifInc< View, CtrlView, rm >

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::Extensional
	Extensional propagators

Functions
template<class View>
unsigned long long	Gecode::Int::Extensional::domain_product (const ViewArray< View > &x, unsigned long long limit, int excluded=-1)
	Return the domain-size product, saturated just above limit.
template<class View>
ExecStatus	Gecode::Int::Extensional::post_tuple_set (Home home, ViewArray< View > &x, const TupleSet &t, bool pos)
ReifyMode	Gecode::Int::Extensional::negated_reify_mode (ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	Gecode::Int::Extensional::post_sparse_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	Gecode::Int::Extensional::post_dense_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	Gecode::Int::Extensional::post_compressed_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	Gecode::Int::Extensional::post_reified_tuple_set (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
ExecStatus	Gecode::Int::Extensional::post_reified_constant (Home home, BoolView b, ReifyMode mode, bool value)
void	Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, bool pos, IntPropLevel ipl=IPL_DEF)
	Post propagator for \(x\in t\) or \(x\not\in t\).
void	Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, bool pos, Reify r, IntPropLevel ipl=IPL_DEF)
	Post propagator for \((x\in t)\equiv r\) or \((x\not\in t)\equiv r\).
void	Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, bool pos, IntPropLevel ipl=IPL_DEF)
	Post propagator for \(x\in t\) or \(x\not\in t\).
void	Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, bool pos, Reify r, IntPropLevel ipl=IPL_DEF)
	Post propagator for \((x\in t)\equiv r\) or \((x\not\in t)\equiv r\).