Gecode::Int::Extensional::Incremental< View > Class Template Reference
[Integer propagators]

Domain consistent extensional propagator. More...

#include <extensional.hh>

Classes
class	SupportEntry
	Entry for storing support. More...
class	Work
	Work stack More...
class	WorkEntry
	Description of work to be done. More...
Public Member Functions
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function.
virtual void	reschedule (Space &home)
	Schedule function.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
virtual Actor *	copy (Space &home, bool share)
	Copy propagator during cloning.
size_t	dispose (Space &home)
	Delete propagator and return its size.
virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Give advice to propagator.
Static Public Member Functions
static ExecStatus	post (Home home, ViewArray< View > &x, const TupleSet &t)
	Post propagator for views x.
Protected Member Functions
	Incremental (Space &home, bool share, Incremental< View > &p)
	Constructor for cloning p.
	Incremental (Home home, ViewArray< View > &x, const TupleSet &t)
	Constructor for posting.
void	init_support (Space &home)
	Initialize support.
void	find_support (Space &home, Domain dom, int i, int n)
	Find a next support for view at position i and value n.
void	add_support (Space &home, Tuple l)
	Add support.
void	remove_support (Space &home, Tuple l, int i, int n)
	Remove support for view at position i and value n.
SupportEntry *	support (int i, int n)
	Creat support entry for view at position i and value n.
Protected Attributes
Work	w_support
	Work for finding support.
Work	w_remove
	Work for removing values.
SupportEntry **	support_data
	Support information.
int	unassigned
	Number of unassigned views.

Detailed Description

template<class View>
class Gecode::Int::Extensional::Incremental< View >

Domain consistent extensional propagator.

This propagator implements an incremental propagation algorithm where supports are maintained explicitly.

Requires

 #include <gecode/int/extensional.hh>

Definition at line 345 of file extensional.hh.

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Extensional::Incremental< View >::Incremental	(	Space &	home,
		bool	share,
		Incremental< View > &	p
	)			`[inline, protected]`

Constructor for cloning p.

Definition at line 328 of file incremental.hpp.

template<class View >

Gecode::Int::Extensional::Incremental< View >::Incremental	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t
	)			`[inline, protected]`

Constructor for posting.

Definition at line 276 of file incremental.hpp.

Member Function Documentation

template<class View >

void Gecode::Int::Extensional::Incremental< View >::init_support ( Space & home ) [inline, protected]

Initialize support.

Definition at line 209 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::find_support	(	Space &	home,
		Domain	dom,
		int	i,
		int	n
	)			`[inline, protected]`

Find a next support for view at position i and value n.

Definition at line 228 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::add_support	(	Space &	home,
		Tuple	l
	)			`[inline, protected]`

Add support.

Definition at line 219 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::remove_support	(	Space &	home,
		Tuple	l,
		int	i,
		int	n
	)			`[inline, protected]`

Remove support for view at position i and value n.

Definition at line 244 of file incremental.hpp.

template<class View >

Incremental< View >::SupportEntry * Gecode::Int::Extensional::Incremental< View >::support	(	int	i,
		int	n
	)			`[inline, protected]`

Creat support entry for view at position i and value n.

Definition at line 203 of file incremental.hpp.

template<class View >

PropCost Gecode::Int::Extensional::Incremental< View >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)			const `[inline, virtual]`

Cost function.

If in stage for naive value propagation, the cost is high quadratic. Otherwise it is high cubic.

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

Definition at line 352 of file incremental.hpp.

template<class View >

void Gecode::Int::Extensional::Incremental< View >::reschedule ( Space & home ) [inline, virtual]

Schedule function.

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

Definition at line 307 of file incremental.hpp.

template<class View >

ExecStatus Gecode::Int::Extensional::Incremental< View >::propagate	(	Space &	home,
		const ModEventDelta &	med
	)			`[inline, virtual]`

Perform propagation.

Implements Gecode::Propagator.

Definition at line 386 of file incremental.hpp.

template<class View >

Actor * Gecode::Int::Extensional::Incremental< View >::copy	(	Space &	home,
		bool	share
	)			`[inline, virtual]`

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 361 of file incremental.hpp.

template<class View >

ExecStatus Gecode::Int::Extensional::Incremental< View >::post	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	t
	)			`[inline, static]`

Post propagator for views x.

Definition at line 316 of file incremental.hpp.

template<class View >

size_t Gecode::Int::Extensional::Incremental< View >::dispose ( Space & home ) [inline, virtual]

Delete propagator and return its size.

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

Definition at line 367 of file incremental.hpp.

template<class View >

ExecStatus Gecode::Int::Extensional::Incremental< View >::advise	(	Space &	home,
		Advisor &	a,
		const Delta &	d
	)			`[inline, virtual]`

Give advice to propagator.

Reimplemented from Gecode::Propagator.

Definition at line 423 of file incremental.hpp.

Member Data Documentation

template<class View>

Work Gecode::Int::Extensional::Incremental< View >::w_support [protected]

Work for finding support.

Definition at line 442 of file extensional.hh.

template<class View>

Work Gecode::Int::Extensional::Incremental< View >::w_remove [protected]

Work for removing values.

Definition at line 444 of file extensional.hh.

template<class View>

SupportEntry** Gecode::Int::Extensional::Incremental< View >::support_data [protected]

Support information.

Definition at line 447 of file extensional.hh.

template<class View>

int Gecode::Int::Extensional::Incremental< View >::unassigned [protected]

Number of unassigned views.

Definition at line 449 of file extensional.hh.

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

gecode/int/extensional.hh (Revision: 15137)
gecode/int/extensional/incremental.hpp (Revision: 15137)

Gecode::Int::Extensional::Incremental< View > Class Template Reference [Integer propagators]

Classes

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

template<class View> class Gecode::Int::Extensional::Incremental< View >

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

Gecode::Int::Extensional::Incremental< View > Class Template Reference
[Integer propagators]

template<class View>
class Gecode::Int::Extensional::Incremental< View >