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

Public Types
typedef View	ViewType
typedef CompactCompressed< View, true >	Base
typedef Base::ValidSupports	ValidSupports
typedef Base::CTAdvisor	CTAdvisor
typedef Base::LostSupports	LostSupports
typedef CompactStatus< CTAdvisor >	Status
typedef Status::StatusType	StatusType

Public Member Functions
template<class TableProp>
	PosCompactCompressed (Space &home, TableProp &p)
	PosCompactCompressed (Home home, ViewArray< View > &x, const TupleSet &ts)
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 &delta)
	Advise function.
void	setup (Space &home, Table &table, ViewArray< View > &x)
CompressedSupport	supports (CTAdvisor &a, int n) const
bool	all (void) const
bool	atmostone (void) const
Public Member Functions inherited from Gecode::Int::Extensional::CompactCompressed< View, true >
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)
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
Status	status
Table	table
Council< CTAdvisor >	c
TupleSet	ts

Additional Inherited Members
Protected Types inherited from Gecode::Int::Extensional::CompactCompressed< View, true >
typedef TupleSet::Range	Range
typedef TupleSet::CSupportWord	CSupportWord
typedef CompactAdvisor< View, pos, true >	CTAdvisor
Protected Member Functions inherited from Gecode::Int::Extensional::CompactCompressed< View, true >
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, true >
const unsigned int	n_words
TupleSet	ts
Council< CTAdvisor >	c

Detailed Description

template<class View, class Table>
class Gecode::Int::Extensional::PosCompactCompressed< View, Table >

Definition at line 1539 of file compact.hpp.

Member Typedef Documentation

◆ ViewType

template<class View, class Table>

typedef View Gecode::Int::Extensional::PosCompactCompressed< View, Table >::ViewType

Definition at line 1542 of file compact.hpp.

◆ Base

template<class View, class Table>

typedef CompactCompressed<View,true> Gecode::Int::Extensional::PosCompactCompressed< View, Table >::Base

Definition at line 1543 of file compact.hpp.

◆ ValidSupports

template<class View, class Table>

typedef Base::ValidSupports Gecode::Int::Extensional::PosCompactCompressed< View, Table >::ValidSupports

Definition at line 1544 of file compact.hpp.

◆ CTAdvisor

template<class View, class Table>

typedef Base::CTAdvisor Gecode::Int::Extensional::PosCompactCompressed< View, Table >::CTAdvisor

Definition at line 1545 of file compact.hpp.

◆ LostSupports

template<class View, class Table>

typedef Base::LostSupports Gecode::Int::Extensional::PosCompactCompressed< View, Table >::LostSupports

Definition at line 1546 of file compact.hpp.

◆ Status

template<class View, class Table>

typedef CompactStatus<CTAdvisor> Gecode::Int::Extensional::PosCompactCompressed< View, Table >::Status

Definition at line 1555 of file compact.hpp.

◆ StatusType

template<class View, class Table>

typedef Status::StatusType Gecode::Int::Extensional::PosCompactCompressed< View, Table >::StatusType

Definition at line 1556 of file compact.hpp.

Constructor & Destructor Documentation

◆ PosCompactCompressed() [1/2]

template<class View, class Table>

template<class TableProp>

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

inline

Definition at line 1562 of file compact.hpp.

◆ PosCompactCompressed() [2/2]

template<class View, class Table>

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

inline

Definition at line 1567 of file compact.hpp.

Member Function Documentation

◆ copy()

template<class View, class Table>

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

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 1573 of file compact.hpp.

◆ post()

template<class View, class Table>

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

inlinestatic

Definition at line 1578 of file compact.hpp.

◆ dispose()

template<class View, class Table>

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

inlinevirtual

Delete actor and return its size.

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

Definition at line 1584 of file compact.hpp.

◆ reschedule()

template<class View, class Table>

virtual void Gecode::Int::Extensional::PosCompactCompressed< View, Table >::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 1589 of file compact.hpp.

◆ propagate()

template<class View, class Table>

virtual ExecStatus Gecode::Int::Extensional::PosCompactCompressed< View, Table >::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 1593 of file compact.hpp.

◆ advise()

template<class View, class Table>

virtual ExecStatus Gecode::Int::Extensional::PosCompactCompressed< View, Table >::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 1597 of file compact.hpp.

◆ setup()

template<class View, class Table>

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

inline

Definition at line 1515 of file compact.hpp.

◆ supports()

template<class View, class Table>

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

inline

Definition at line 1505 of file compact.hpp.

◆ all()

template<class View, class Table>

bool Gecode::Int::Extensional::CompactCompressed< View, pos >::all ( void ) const

inline

Definition at line 1484 of file compact.hpp.

◆ atmostone()

template<class View, class Table>

bool Gecode::Int::Extensional::CompactCompressed< View, pos >::atmostone ( void ) const

inline

Definition at line 1487 of file compact.hpp.

Member Data Documentation

◆ status

template<class View, class Table>

Status Gecode::Int::Extensional::PosCompactCompressed< View, Table >::status

Definition at line 1558 of file compact.hpp.

◆ table

template<class View, class Table>

Table Gecode::Int::Extensional::PosCompactCompressed< View, Table >::table

Definition at line 1559 of file compact.hpp.

◆ c

template<class View, class Table>

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

Definition at line 1494 of file compact.hpp.

◆ ts

template<class View, class Table>

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

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ ViewType

◆ Base

◆ ValidSupports

◆ CTAdvisor

◆ LostSupports

◆ Status

◆ StatusType

Constructor & Destructor Documentation

◆ PosCompactCompressed() [1/2]

◆ PosCompactCompressed() [2/2]

Member Function Documentation

◆ copy()

◆ post()

◆ dispose()

◆ reschedule()

◆ propagate()

◆ advise()

◆ setup()

◆ supports()

◆ all()

◆ atmostone()

Member Data Documentation

◆ status

◆ table

◆ c

◆ ts