Gecode::Int::Sorted::Sorted< View, Perm > Class Template Reference
[Integer propagators]

Bounds consistent sortedness propagator. More...

#include <sorted.hh>

List of all members.

Public Member Functions
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
virtual Actor *	copy (Space &home, bool share)
	Copy propagator during cloning.
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function returning low linear.
virtual void	reschedule (Space &home)
	Schedule function.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Static Public Member Functions
static ExecStatus	post (Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
	Post propagator for views x, y, and z.
Protected Member Functions
	Sorted (Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
	Constructor for posting.
	Sorted (Space &home, bool share, Sorted< View, Perm > &p)
	Constructor for cloning.
Protected Attributes
ViewArray< View >	x
	Views to be sorted.
ViewArray< View >	y
	Views denoting the sorted version of x.
ViewArray< View >	z
	Permutation variables (none, if Perm is false).
ViewArray< View >	w
	Original y array.
int	reachable
	connection to dropped view

---

Detailed Description

template<class View, bool Perm>
class Gecode::Int::Sorted::Sorted< View, Perm >

Bounds consistent sortedness propagator.

The algorithm is taken from: Sven Thiel, Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions, PhD thesis, Universität des Saarlandes, Germany, 2004, pages 39-59.

Requires

 #include <gecode/int/sorted.hh> 

Definition at line 63 of file sorted.hh.

---

Constructor & Destructor Documentation

template<class View , bool Perm>

Gecode::Int::Sorted::Sorted< View, Perm >::Sorted	(	Home	home,
		ViewArray< View > &	x,
		ViewArray< View > &	y,
		ViewArray< View > &	z
	)			[inline, protected]

Constructor for posting.

Definition at line 354 of file propagate.hpp.

template<class View , bool Perm>

Gecode::Int::Sorted::Sorted< View, Perm >::Sorted	(	Space &	home,
		bool	share,
		Sorted< View, Perm > &	p
	)			[inline, protected]

Constructor for cloning.

Definition at line 343 of file propagate.hpp.

---

Member Function Documentation

template<class View , bool Perm>

size_t Gecode::Int::Sorted::Sorted< View, Perm >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 365 of file propagate.hpp.

template<class View , bool Perm>

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 375 of file propagate.hpp.

template<class View , bool Perm>

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

Cost function returning low linear.

Implements Gecode::Propagator.

Definition at line 380 of file propagate.hpp.

template<class View , bool Perm>

void Gecode::Int::Sorted::Sorted< View, Perm >::reschedule

(

Space &

home

)

[inline, virtual]

Schedule function.

Implements Gecode::Propagator.

Definition at line 386 of file propagate.hpp.

template<class View , bool Perm>

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 395 of file propagate.hpp.

template<class View , bool Perm>

ExecStatus Gecode::Int::Sorted::Sorted< View, Perm >::post	(	Home	home,
		ViewArray< View > &	x,
		ViewArray< View > &	y,
		ViewArray< View > &	z
	)			[inline, static]

Post propagator for views x, y, and z.

Definition at line 633 of file propagate.hpp.

---

Member Data Documentation

template<class View , bool Perm>

ViewArray<View> Gecode::Int::Sorted::Sorted< View, Perm >::x [protected]

Views to be sorted.

Definition at line 66 of file sorted.hh.

template<class View , bool Perm>

ViewArray<View> Gecode::Int::Sorted::Sorted< View, Perm >::y [protected]

Views denoting the sorted version of x.

Definition at line 68 of file sorted.hh.

template<class View , bool Perm>

ViewArray<View> Gecode::Int::Sorted::Sorted< View, Perm >::z [protected]

Permutation variables (none, if Perm is false).

Definition at line 70 of file sorted.hh.

template<class View , bool Perm>

ViewArray<View> Gecode::Int::Sorted::Sorted< View, Perm >::w [protected]

Original y array.

Definition at line 72 of file sorted.hh.

template<class View , bool Perm>

int Gecode::Int::Sorted::Sorted< View, Perm >::reachable [protected]

connection to dropped view

Definition at line 74 of file sorted.hh.

---

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

• gecode/int/sorted.hh (Revision: 15137)
• gecode/int/sorted/propagate.hpp (Revision: 15137)