Domain consistent extensional propagator. More...

#include <extensional.hh>

Public Types
typedef Compact< View >::ValidSupports	ValidSupports

typedef Compact< View >::Range	Range

typedef Compact< View >::CTAdvisor	CTAdvisor

typedef Compact< View >::StatusType	StatusType

typedef Compact< View >::Status	Status

typedef Compact< View >::LostSupports	LostSupports

Public Member Functions
template<class TableProp >
	CompactTable (Space &home, TableProp &p)
	Constructor for cloning p. More...

	CompactTable (Home home, ViewArray< View > &x, const TupleSet &ts)
	Constructor for posting. More...

virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function. More...

virtual void	reschedule (Space &home)
	Schedule function. More...

virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation. More...

virtual Actor *	copy (Space &home)
	Copy propagator during cloning. More...

size_t	dispose (Space &home)
	Delete propagator and return its size. More...

virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Give advice to propagator. More...

Public Member Functions inherited from Gecode::Propagator
ModEventDelta	modeventdelta (void) const
	Return the modification event delta. More...

virtual void	advise (Space &home, Advisor &a)
	Run advisor a to be run on failure in failed space. More...

double	afc (void) const
	Return the accumlated failure count. More...

unsigned int	id (void) const
	Return propagator id. More...

PropagatorGroup	group (void) const
	Return group propagator belongs to. More...

void	group (PropagatorGroup g)
	Add propagator to group g. More...

bool	disabled (void) const
	Whether propagator is currently disabled. More...

Public Member Functions inherited from Gecode::Actor
virtual	~Actor (void)
	To avoid warnings. More...

Static Public Member Functions
static ExecStatus	post (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post propagator for views x and table t. More...

Static Public Member Functions inherited from Gecode::Actor
static void *	operator new (size_t s)
	Not used. More...

static void	operator delete (void *p)
	Not used. More...

static void *	operator new (size_t s, Space &home)
	Allocate memory from space. More...

static void	operator delete (void *p, Space &home)
	No-op for exceptions. More...

Public Attributes
Table	table
	Current table. More...

Additional Inherited Members
Protected Types inherited from Gecode::Int::Extensional::Compact< View >
typedef TupleSet::Range	Range
	Range type for supports. More...

enum	StatusType { SINGLE = 0, MULTIPLE = 1, NONE = 2, PROPAGATING = 3 }
	Type of status. More...

Protected Member Functions inherited from Gecode::Int::Extensional::Compact< View >
	Compact (Space &home, Compact &p)
	Constructor for cloning p. More...

	Compact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Constructor for posting. More...

const Range *	range (CTAdvisor &a, int n)
	Find range for n. More...

const BitSetData *	supports (CTAdvisor &a, int n)
	Return supports for value n. More...

Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting. More...

	Propagator (Space &home, Propagator &p)
	Constructor for cloning p. More...

Propagator *	fwd (void) const
	Return forwarding pointer during copying. More...

Kernel::GPI::Info &	gpi (void)
	Provide access to global propagator information. More...

Protected Attributes inherited from Gecode::Int::Extensional::Compact< View >
int	unassigned
	Number of unassigned views. More...

const unsigned int	n_words
	Number of words in supports. More...

Status	status
	Propagator status. More...

TupleSet	ts
	The tuple set. More...

Council< CTAdvisor >	c
	The advisor council. More...

Detailed Description

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

Domain consistent extensional propagator.

This propagator implements the compact-table propagation algorithm based on: J. Demeulenaere et. al., Compact-Table: Efficiently filtering table constraints with reversible sparse bit-sets, CP 2016. Pages 207-223, LNCS, Springer, 2016.

Requires

#include <gecode/int/extensional.hh>

Definition at line 503 of file extensional.hh.

Member Typedef Documentation

◆ ValidSupports

template<class View, class Table>

typedef Compact<View>::ValidSupports Gecode::Int::Extensional::CompactTable< View, Table >::ValidSupports

Definition at line 505 of file extensional.hh.

◆ Range

template<class View, class Table>

typedef Compact<View>::Range Gecode::Int::Extensional::CompactTable< View, Table >::Range

Definition at line 506 of file extensional.hh.

◆ CTAdvisor

template<class View, class Table>

typedef Compact<View>::CTAdvisor Gecode::Int::Extensional::CompactTable< View, Table >::CTAdvisor

Definition at line 507 of file extensional.hh.

◆ StatusType

template<class View, class Table>

typedef Compact<View>::StatusType Gecode::Int::Extensional::CompactTable< View, Table >::StatusType

Definition at line 508 of file extensional.hh.

◆ Status

template<class View, class Table>

typedef Compact<View>::Status Gecode::Int::Extensional::CompactTable< View, Table >::Status

Definition at line 509 of file extensional.hh.

◆ LostSupports

template<class View, class Table>

typedef Compact<View>::LostSupports Gecode::Int::Extensional::CompactTable< View, Table >::LostSupports

Definition at line 510 of file extensional.hh.

Constructor & Destructor Documentation

◆ CompactTable() [1/2]

template<class View , class Table >

template<class TableProp >

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

inline

Constructor for cloning p.

Definition at line 312 of file compact.hpp.

◆ CompactTable() [2/2]

template<class View , class Table >

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

inline

Constructor for posting.

Definition at line 370 of file compact.hpp.

Member Function Documentation

◆ cost()

template<class View , class Table >

PropCost Gecode::Int::Extensional::CompactTable< View, Table >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)		const

virtual

Cost function.

Implements Gecode::Propagator.

Definition at line 407 of file compact.hpp.

◆ reschedule()

template<class View , class Table >

void Gecode::Int::Extensional::CompactTable< View, Table >::reschedule ( Space & home )

virtual

Schedule function.

Implements Gecode::Propagator.

Definition at line 413 of file compact.hpp.

◆ propagate()

template<class View , class Table >

ExecStatus Gecode::Int::Extensional::CompactTable< View, Table >::propagate	(	Space &	home,
		const ModEventDelta &	med
	)

virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 421 of file compact.hpp.

◆ copy()

template<class View , class Table >

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

virtual

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 319 of file compact.hpp.

◆ post()

template<class View , class Table >

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

inlinestatic

Post propagator for views x and table t.

Definition at line 496 of file compact.hpp.

◆ dispose()

template<class View , class Table >

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

inlinevirtual

Delete propagator and return its size.

Reimplemented from Gecode::Int::Extensional::Compact< View >.

Definition at line 400 of file compact.hpp.

◆ advise()

template<class View , class Table >

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

virtual

Give advice to propagator.

Reimplemented from Gecode::Propagator.

Definition at line 513 of file compact.hpp.

Member Data Documentation

◆ table

template<class View, class Table>

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

Current table.

Definition at line 519 of file extensional.hh.

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

gecode/int/extensional.hh
gecode/int/extensional/compact.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Additional Inherited Members

Detailed Description

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

Member Typedef Documentation

◆ ValidSupports

◆ Range

◆ CTAdvisor

◆ StatusType

◆ Status

◆ LostSupports

Constructor & Destructor Documentation

◆ CompactTable() [1/2]

◆ CompactTable() [2/2]

Member Function Documentation

◆ cost()

◆ reschedule()

◆ propagate()

◆ copy()

◆ post()

◆ dispose()

◆ advise()

Member Data Documentation

◆ table

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