Extensional propagators More...

Classes
class	TupleSetAccess
	Internal access to finalized tuple-set support representations. More...
class	SparseDeltaValues
	Iterate table values in a delta interval. More...
class	SparseAdvisor
	Advisor shared by the sparse positive, negative, and reified actors. More...
class	SparseTupleState
	Active tuple state shared by sparse table actors. More...
class	SparseInc
class	SparseReifInc
class	CompressedSupport
	Compressed tuple-word support list. More...
class	LayeredGraph
	Domain consistent layered graph (regular) propagator. More...
class	TinyBitSet
	Tiny bit-set. More...
class	BitSet
	Bit-set. More...
class	CompactAdvisorIndex
	Optional variable index stored by a compact-table advisor. More...
class	CompactAdvisorIndex< false >
	Compact-table advisor without a variable index. More...
class	CompactAdvisorIndex< true >
	Compact-table advisor with a variable index. More...
class	CompactAdvisor
	Advisor shared by compact-table support representations. More...
class	CompactStatus
	Touched-advisor status shared by positive compact-table propagators. More...
class	PosCompactAlgorithm
	Shared implementation of positive compact-table propagation. More...
class	NegCompactAlgorithm
	Shared implementation of negative compact-table propagation. More...
class	ReCompactAlgorithm
	Shared implementation of reified compact-table propagation. More...
class	Compact
	Base class for compact table propagator. More...
class	PosCompact
	Domain consistent positive extensional propagator. More...
class	NegCompact
	Domain consistent negative extensional propagator. More...
class	ReCompact
	Domain consistent reified extensional propagator. More...
class	CompactActorFactory
class	ReCompactActorFactory
class	CompactSupportPolicy
class	CompactSupportPolicy< const BitSetData * >
class	CompactSupportPolicy< CompressedSupport >
class	CompactCompressed
class	PosCompactCompressed
class	NegCompactCompressed
class	ReCompactCompressed
class	TransByI_State
	Sort transition array by input state. More...
class	TransBySymbol
	Sort transition array by symbol (value). More...
class	TransBySymbolI_State
	Sort transition array by symbol and then input states. More...
class	TransByO_State
	Sort transition array by output state. More...
class	StateGroup
	Stategroup is used to compute a partition of states. More...
class	StateGroupByGroup
	Sort groups stated by group and then state. More...
class	GroupStates
	GroupStates is used to index StateGroup by group More...
class	VarTraits
	Traits class for variables. More...
class	VarTraits< IntVar >
	Traits class for variables. More...
class	VarTraits< BoolVar >
	Traits class for variables. More...
class	TupleCompare
	Tuple comparison. More...
class	PosCompare
	Tuple comparison by position. More...

Typedefs
typedef Gecode::Support::BitSetData	BitSetData
	Import type.
typedef TupleSet::Tuple	Tuple
	Tuple type.

Enumerations
enum	StateInfo { SI_NONE = 0 , SI_FROM_START = 1 , SI_TO_FINAL = 2 , SI_FINAL = 4 }
	Information about states. More...

Functions
template<class View>
unsigned long long	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	post_tuple_set (Home home, ViewArray< View > &x, const TupleSet &t, bool pos)
ReifyMode	negated_reify_mode (ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	post_sparse_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	post_dense_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	post_compressed_reified (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
template<class View, class CtrlView>
ExecStatus	post_reified_tuple_set (Home home, ViewArray< View > &x, const TupleSet &t, CtrlView b, ReifyMode mode)
ExecStatus	post_reified_constant (Home home, BoolView b, ReifyMode mode, bool value)
template<class Var>
ExecStatus	post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa)
	Select small types for the layered graph propagator.
template<class View>
ExecStatus	postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table propagator.
template<class View>
ExecStatus	postposcompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table with compressed supports.
template<class View>
ExecStatus	postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for compact table propagator.
template<class View>
ExecStatus	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	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	postrecompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
	Post function for reified compact table with compressed supports.
const TupleSet::BitSetData *	find_support_word (const CompressedSupport &s, unsigned int widx)
template<class Factory, class Table, class Source>
Actor *	compact_copy (Space &home, Source &source)
template<class Advisor>
bool	compact_all (const Council< Advisor > &council)
template<class Advisor>
bool	compact_atmostone (const Council< Advisor > &council)
template<class View, class Advisor, class ValidSupports, class Table>
void	compact_setup (Space &home, Propagator &propagator, Council< Advisor > &council, const TupleSet &ts, Table &table, ViewArray< View > &x)
template<class Advisor, class Table>
bool	compact_full (const Council< Advisor > &council, const Table &table)
template<class Advisor>
PropCost	compact_cost (const Council< Advisor > &council)
template<class Support>
bool	compact_support_empty (const Support &support)
template<class Table, class Support>
void	compact_intersect (Table &table, const Support &support)
bool	support_offsets_size (unsigned long long n_vals, unsigned int &n_offsets)

Detailed Description

Extensional propagators

Typedef Documentation

◆ BitSetData

typedef Gecode::Support::BitSetData Gecode::Int::Extensional::BitSetData

Import type.

Definition at line 247 of file extensional.hh.

◆ Tuple

typedef::Gecode::TupleSet::Tuple Gecode::Int::Extensional::Tuple

Tuple type.

Import tuple type.

Definition at line 409 of file extensional.hh.

Enumeration Type Documentation

◆ StateInfo

enum Gecode::Int::Extensional::StateInfo

Information about states.

Enumerator
SI_NONE	State is not reachable.
SI_FROM_START	State is reachable from start state.
SI_TO_FINAL	Final state is reachable from state.
SI_FINAL	State is final.

Definition at line 140 of file dfa.cpp.

Function Documentation

◆ domain_product()

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.

Definition at line 128 of file extensional-tuple-set.cpp.

◆ post_tuple_set()

template<class View>

ExecStatus Gecode::Int::Extensional::post_tuple_set	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t,
		bool	pos )

Definition at line 883 of file extensional-tuple-set.cpp.

◆ negated_reify_mode()

ReifyMode Gecode::Int::Extensional::negated_reify_mode ( ReifyMode mode )

inline

Definition at line 902 of file extensional-tuple-set.cpp.

◆ post_sparse_reified()

template<class View, class CtrlView>

ExecStatus Gecode::Int::Extensional::post_sparse_reified	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t,
		CtrlView	b,
		ReifyMode	mode )

Definition at line 915 of file extensional-tuple-set.cpp.

◆ post_dense_reified()

template<class View, class CtrlView>

ExecStatus Gecode::Int::Extensional::post_dense_reified	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t,
		CtrlView	b,
		ReifyMode	mode )

Definition at line 931 of file extensional-tuple-set.cpp.

◆ post_compressed_reified()

template<class View, class CtrlView>

ExecStatus Gecode::Int::Extensional::post_compressed_reified	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t,
		CtrlView	b,
		ReifyMode	mode )

Definition at line 944 of file extensional-tuple-set.cpp.

◆ post_reified_tuple_set()

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 )

Definition at line 960 of file extensional-tuple-set.cpp.

◆ post_reified_constant()

ExecStatus Gecode::Int::Extensional::post_reified_constant	(	Home	home,
		BoolView	b,
		ReifyMode	mode,
		bool	value )

inline

Definition at line 977 of file extensional-tuple-set.cpp.

◆ post_lgp()

template<class Var>

ExecStatus Gecode::Int::Extensional::post_lgp	(	Home	home,
		const VarArgArray< Var > &	x,
		const DFA &	dfa )

inline

Select small types for the layered graph propagator.

Definition at line 852 of file layered-graph.hpp.

◆ postposcompact()

template<class View>

ExecStatus Gecode::Int::Extensional::postposcompact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts )

Post function for positive compact table propagator.

Definition at line 1034 of file compact.hpp.

◆ postposcompact_compressed()

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.

Definition at line 1606 of file compact.hpp.

◆ postnegcompact()

template<class View>

ExecStatus Gecode::Int::Extensional::postnegcompact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts )

Post function for compact table propagator.

Definition at line 1143 of file compact.hpp.

◆ postnegcompact_compressed()

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.

Definition at line 1696 of file compact.hpp.

◆ postrecompact()

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.

Definition at line 1281 of file compact.hpp.

◆ postrecompact_compressed()

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.

Definition at line 1816 of file compact.hpp.

◆ find_support_word()

const TupleSet::BitSetData * Gecode::Int::Extensional::find_support_word	(	const CompressedSupport &	s,
		unsigned int	widx )

inline

Definition at line 65 of file bit-set.hpp.

◆ compact_copy()

template<class Factory, class Table, class Source>

Actor * Gecode::Int::Extensional::compact_copy	(	Space &	home,
		Source &	source )

Definition at line 217 of file compact.hpp.

◆ compact_all()

template<class Advisor>

bool Gecode::Int::Extensional::compact_all ( const Council< Advisor > & council )

inline

Definition at line 259 of file compact.hpp.

◆ compact_atmostone()

template<class Advisor>

bool Gecode::Int::Extensional::compact_atmostone ( const Council< Advisor > & council )

inline

Definition at line 266 of file compact.hpp.

◆ compact_setup()

template<class View, class Advisor, class ValidSupports, class Table>

void Gecode::Int::Extensional::compact_setup	(	Space &	home,
		Propagator &	propagator,
		Council< Advisor > &	council,
		const TupleSet &	ts,
		Table &	table,
		ViewArray< View > &	x )

Definition at line 276 of file compact.hpp.

◆ compact_full()

template<class Advisor, class Table>

bool Gecode::Int::Extensional::compact_full	(	const Council< Advisor > &	council,
		const Table &	table )

inline

Definition at line 305 of file compact.hpp.

◆ compact_cost()

template<class Advisor>

PropCost Gecode::Int::Extensional::compact_cost ( const Council< Advisor > & council )

inline

Definition at line 318 of file compact.hpp.

◆ compact_support_empty()

template<class Support>

bool Gecode::Int::Extensional::compact_support_empty ( const Support & support )

inline

Definition at line 356 of file compact.hpp.

◆ compact_intersect()

template<class Table, class Support>

void Gecode::Int::Extensional::compact_intersect	(	Table &	table,
		const Support &	support )

inline

Definition at line 362 of file compact.hpp.

◆ support_offsets_size()

bool Gecode::Int::Extensional::support_offsets_size	(	unsigned long long	n_vals,
		unsigned int &	n_offsets )

inline

Definition at line 373 of file tuple-set.hpp.

Classes

Typedefs

Enumerations

Functions

Detailed Description

Typedef Documentation

◆ BitSetData

◆ Tuple

Enumeration Type Documentation

◆ StateInfo

Function Documentation

◆ domain_product()

◆ post_tuple_set()

◆ negated_reify_mode()

◆ post_sparse_reified()

◆ post_dense_reified()

◆ post_compressed_reified()

◆ post_reified_tuple_set()

◆ post_reified_constant()

◆ post_lgp()

◆ postposcompact()

◆ postposcompact_compressed()

◆ postnegcompact()

◆ postnegcompact_compressed()

◆ postrecompact()

◆ postrecompact_compressed()

◆ find_support_word()

◆ compact_copy()

◆ compact_all()

◆ compact_atmostone()

◆ compact_setup()

◆ compact_full()

◆ compact_cost()

◆ compact_support_empty()

◆ compact_intersect()

◆ support_offsets_size()