#include <gecode/int/extensional/compact.hpp>

Public Types
typedef View	ViewType
typedef CompactCompressed< View, false >	Base
typedef Base::ValidSupports	ValidSupports
typedef Base::CTAdvisor	CTAdvisor

Public Member Functions
template<class TableProp>
	ReCompactCompressed (Space &home, TableProp &p)
	ReCompactCompressed (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b0)
virtual Actor *	copy (Space &home)
	Create copy.
virtual size_t	dispose (Space &home)
	Delete actor and return its size.
virtual void	reschedule (Space &home)
	Schedule function.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &)
	Propagation function.
virtual ExecStatus	advise (Space &home, Advisor &advisor, const Delta &)
	Advise function.
void	setup (Space &home, Table &table, ViewArray< View > &x)
bool	full (const Table &table) const
CompressedSupport	supports (CTAdvisor &a, int n) const
Public Member Functions inherited from Gecode::Int::Extensional::CompactCompressed< View, false >
virtual PropCost	cost (const Space &, const ModEventDelta &) const
	Cost function.
ModEventDelta	modeventdelta (void) const
	Return the modification event delta.
virtual void	advise (Space &home, Advisor &a)
	Run advisor a to be run on failure in failed space.
double	afc (void) const
	Return the accumulated failure count.
unsigned int	id (void) const
	Return propagator id.
PropagatorGroup	group (void) const
	Return group propagator belongs to.
void	group (PropagatorGroup g)
	Add propagator to group g.
bool	disabled (void) const
	Whether propagator is currently disabled.
virtual	~Actor (void)
	To avoid warnings.

Static Public Member Functions
static ExecStatus	post (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
static ExecStatus	post_pos (Home home, ViewArray< View > &x, const TupleSet &ts)
static ExecStatus	post_neg (Home home, ViewArray< View > &x, const TupleSet &ts)
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
static void *	operator new (size_t s)
	Not used.
static void	operator delete (void *p)
	Not used.

Public Attributes
Table	table
CtrlView	b
ViewArray< View >	y
Council< CTAdvisor >	c
TupleSet	ts

Static Public Attributes
static constexpr ReifyMode	mode = rm

Additional Inherited Members
Protected Types inherited from Gecode::Int::Extensional::CompactCompressed< View, false >
typedef TupleSet::Range	Range
typedef TupleSet::CSupportWord	CSupportWord
typedef CompactAdvisor< View, pos, true >	CTAdvisor
Protected Member Functions inherited from Gecode::Int::Extensional::CompactCompressed< View, false >
bool	all (void) const
bool	atmostone (void) const
	CompactCompressed (Space &home, CompactCompressed &p)
	CompactCompressed (Home home, const TupleSet &ts0)
CompressedSupport	supports (CTAdvisor &a, int n) const
void	setup (Space &home, Table &table, ViewArray< View > &x)
bool	full (const Table &table) const
Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting.
	Propagator (Space &home, Propagator &p)
	Constructor for cloning p.
Propagator *	fwd (void) const
	Return forwarding pointer during copying.
Kernel::GPI::Info &	gpi (void)
	Provide access to global propagator information.
Protected Attributes inherited from Gecode::Int::Extensional::CompactCompressed< View, false >
const unsigned int	n_words
TupleSet	ts
Council< CTAdvisor >	c

Detailed Description

template<class View, class Table, class CtrlView, ReifyMode rm>
class Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >

Definition at line 1730 of file compact.hpp.

Member Typedef Documentation

◆ ViewType

template<class View, class Table, class CtrlView, ReifyMode rm>

typedef View Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::ViewType

Definition at line 1733 of file compact.hpp.

◆ Base

template<class View, class Table, class CtrlView, ReifyMode rm>

typedef CompactCompressed<View,false> Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::Base

Definition at line 1735 of file compact.hpp.

◆ ValidSupports

template<class View, class Table, class CtrlView, ReifyMode rm>

typedef Base::ValidSupports Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::ValidSupports

Definition at line 1736 of file compact.hpp.

◆ CTAdvisor

template<class View, class Table, class CtrlView, ReifyMode rm>

typedef Base::CTAdvisor Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::CTAdvisor

Definition at line 1737 of file compact.hpp.

Constructor & Destructor Documentation

◆ ReCompactCompressed() [1/2]

template<class View, class Table, class CtrlView, ReifyMode rm>

template<class TableProp>

Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::ReCompactCompressed	(	Space &	home,
		TableProp &	p )

inline

Definition at line 1750 of file compact.hpp.

◆ ReCompactCompressed() [2/2]

template<class View, class Table, class CtrlView, ReifyMode rm>

Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::ReCompactCompressed	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts,
		CtrlView	b0 )

inline

Definition at line 1755 of file compact.hpp.

Member Function Documentation

◆ copy()

template<class View, class Table, class CtrlView, ReifyMode rm>

virtual Actor * Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::copy ( Space & home )

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 1762 of file compact.hpp.

◆ post()

template<class View, class Table, class CtrlView, ReifyMode rm>

ExecStatus Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::post	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts,
		CtrlView	b )

inlinestatic

Definition at line 1768 of file compact.hpp.

◆ post_pos()

template<class View, class Table, class CtrlView, ReifyMode rm>

ExecStatus Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::post_pos	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts )

inlinestatic

Definition at line 1784 of file compact.hpp.

◆ post_neg()

template<class View, class Table, class CtrlView, ReifyMode rm>

ExecStatus Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::post_neg	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts )

inlinestatic

Definition at line 1789 of file compact.hpp.

◆ dispose()

template<class View, class Table, class CtrlView, ReifyMode rm>

virtual size_t Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::dispose ( Space & home )

inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Int::Extensional::CompactCompressed< View, false >.

Definition at line 1794 of file compact.hpp.

◆ reschedule()

template<class View, class Table, class CtrlView, ReifyMode rm>

virtual void Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::reschedule ( Space & home )

inlinevirtual

Schedule function.

The function is executed when a propagator is enabled again. Note that a propagator should be scheduled with the right modification event delta and should only be scheduled if it is legal to execute the propagator.

Implements Gecode::Propagator.

Definition at line 1800 of file compact.hpp.

◆ propagate()

template<class View, class Table, class CtrlView, ReifyMode rm>

virtual ExecStatus Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::propagate	(	Space &	home,
		const ModEventDelta &	med )

inlinevirtual

Propagation function.

The propagation function must return an execution status as follows:

ES_FAILED: the propagator has detected failure
ES_NOFIX: the propagator has done propagation
ES_FIX: the propagator has done propagation and has computed a fixpoint. That is, running the propagator immediately again will do nothing.

Apart from the above values, a propagator can return the result from calling one of the functions defined by a space:

ES_SUBSUMED: the propagator is subsumed and has been already deleted.
ES_NOFIX_PARTIAL: the propagator has consumed some of its propagation events.
ES_FIX_PARTIAL: the propagator has consumed some of its propagation events and with respect to these events is at fixpoint For more details, see the individual functions.

Implements Gecode::Propagator.

Definition at line 1804 of file compact.hpp.

◆ advise()

template<class View, class Table, class CtrlView, ReifyMode rm>

virtual ExecStatus Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::advise	(	Space &	home,
		Advisor &	a,
		const Delta &	d )

inlinevirtual

Advise function.

The advisor is passed as argument a.

A propagator must specialize this advise function, if it uses advisors. The advise function must return an execution status as follows:

ES_FAILED: the advisor has detected failure.
ES_FIX: the advisor's propagator (that is, this propagator) does not need to be run.
ES_NOFIX: the advisor's propagator (that is, this propagator) must be run.
ES_NOFIX_FORCE: the advisor's propagator (that is, this propagator) must be run and it must forcefully be rescheduled (including recomputation of cost).

Apart from the above values, an advisor can return the result from calling the function defined by a space:

ES_FIX_DISPOSE: the advisor's propagator does not need to be run and the advisor will be disposed.
ES_NOFIX_DISPOSE: the advisor's propagator must be run and the advisor will be disposed.
ES_NOFIX_FORCE_DISPOSE: the advisor's propagator must be run , it must forcefully be rescheduled (including recomputation of cost), and the adviser will be disposed. For more details, see the function documentation.

The delta d describes how the variable has been changed by an operation on the advisor's variable. Typically, the delta information can only be utilized by either static or member functions of views as the actual delta information is both domain and view dependent.

Reimplemented from Gecode::Propagator.

Definition at line 1808 of file compact.hpp.

◆ setup()

template<class View, class Table, class CtrlView, ReifyMode rm>

void Gecode::Int::Extensional::CompactCompressed< View, pos >::setup	(	Space &	home,
		Table &	table,
		ViewArray< View > &	x )

inline

Definition at line 1515 of file compact.hpp.

◆ full()

template<class View, class Table, class CtrlView, ReifyMode rm>

bool Gecode::Int::Extensional::CompactCompressed< View, pos >::full ( const Table & table ) const

inline

Definition at line 1521 of file compact.hpp.

◆ supports()

template<class View, class Table, class CtrlView, ReifyMode rm>

CompressedSupport Gecode::Int::Extensional::CompactCompressed< View, pos >::supports	(	CTAdvisor &	a,
		int	n ) const

inline

Definition at line 1505 of file compact.hpp.

Member Data Documentation

◆ mode

template<class View, class Table, class CtrlView, ReifyMode rm>

ReifyMode Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::mode = rm

staticconstexpr

Definition at line 1734 of file compact.hpp.

◆ table

template<class View, class Table, class CtrlView, ReifyMode rm>

Table Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::table

Definition at line 1745 of file compact.hpp.

◆ b

template<class View, class Table, class CtrlView, ReifyMode rm>

CtrlView Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::b

Definition at line 1746 of file compact.hpp.

◆ y

template<class View, class Table, class CtrlView, ReifyMode rm>

ViewArray<View> Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >::y

Definition at line 1747 of file compact.hpp.

◆ c

template<class View, class Table, class CtrlView, ReifyMode rm>

Council<CTAdvisor> Gecode::Int::Extensional::CompactCompressed< View, pos >::c

Definition at line 1494 of file compact.hpp.

◆ ts

template<class View, class Table, class CtrlView, ReifyMode rm>

TupleSet Gecode::Int::Extensional::CompactCompressed< View, pos >::ts

Definition at line 1493 of file compact.hpp.

The documentation for this class was generated from the following file:

gecode/int/extensional/compact.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ ViewType

◆ Base

◆ ValidSupports

◆ CTAdvisor

Constructor & Destructor Documentation

◆ ReCompactCompressed() [1/2]

◆ ReCompactCompressed() [2/2]

Member Function Documentation

◆ copy()

◆ post()

◆ post_pos()

◆ post_neg()

◆ dispose()

◆ reschedule()

◆ propagate()

◆ advise()

◆ setup()

◆ full()

◆ supports()

Member Data Documentation

◆ mode

◆ table

◆ b

◆ y

◆ c

◆ ts