Extensional propagators More...

Classes
class	BitSet
	Bit-set. More...
class	Compact
	Base class for compact table propagator. More...
class	CompactActorFactory
class	CompactAdvisor
	Advisor shared by compact-table support representations. 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	CompactCompressed
class	CompactStatus
	Touched-advisor status shared by positive compact-table propagators. More...
class	CompactSupportPolicy
class	CompactSupportPolicy< CompressedSupport >
class	CompactSupportPolicy< const BitSetData * >
class	CompressedSupport
	Compressed tuple-word support list. More...
class	LayeredGraph
	Domain consistent layered graph (regular) propagator. More...
class	NegCompact
	Domain consistent negative extensional propagator. More...
class	NegCompactAlgorithm
	Shared implementation of negative compact-table propagation. More...
class	NegCompactCompressed
class	PosCompact
	Domain consistent positive extensional propagator. More...
class	PosCompactAlgorithm
	Shared implementation of positive compact-table propagation. More...
class	PosCompactCompressed
class	ReCompact
	Domain consistent reified extensional propagator. More...
class	ReCompactActorFactory
class	ReCompactAlgorithm
	Shared implementation of reified compact-table propagation. More...
class	ReCompactCompressed
class	TinyBitSet
	Tiny bit-set. More...
class	TupleSetAccess
	Internal access to finalized tuple-set support representations. More...
class	VarTraits
	Traits class for variables. More...
class	VarTraits< BoolVar >
	Traits class for variables. More...
class	VarTraits< IntVar >
	Traits class for variables. More...

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

Functions
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 TupleSet::Tuple Gecode::Int::Extensional::Tuple

Tuple type.

Definition at line 409 of file extensional.hh.

Function Documentation

◆ 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

Functions

Detailed Description

Typedef Documentation

◆ BitSetData

◆ Tuple

Function Documentation

◆ 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()