Gecode::Int::Element::View< VA, VB, VC, pc_ac > Class Template Reference

Base-class for element propagator for array of views. More...

#include <element.hh>

List of all members.

Public Member Functions
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function.
virtual void	reschedule (Space &home)
	Schedule function.
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
Protected Member Functions
	View (Space &home, bool share, View &p)
	Constructor for cloning p.
	View (Home home, IdxViewArray< VA > &iv, VB x0, VC x1)
	Constructor for creation.
Protected Attributes
IdxViewArray< VA >	iv
	Current index-view map.
VB	x0
	View for index.
VC	x1
	View for result.

---

Detailed Description

template<class VA, class VB, class VC, PropCond pc_ac>
class Gecode::Int::Element::View< VA, VB, VC, pc_ac >

Base-class for element propagator for array of views.

Definition at line 207 of file element.hh.

---

Constructor & Destructor Documentation

template<class VA , class VB , class VC , PropCond pc_ac>

Gecode::Int::Element::View< VA, VB, VC, pc_ac >::View	(	Space &	home,
		bool	share,
		View< VA, VB, VC, pc_ac > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 126 of file view.hpp.

template<class VA, class VB, class VC, PropCond pc_ac>

Gecode::Int::Element::View< VA, VB, VC, pc_ac >::View	(	Home	home,
		IdxViewArray< VA > &	iv,
		VB	x0,
		VC	x1
	)			[inline, protected]

Constructor for creation.

Definition at line 116 of file view.hpp.

---

Member Function Documentation

template<class VA , class VB , class VC , PropCond pc_ac>

PropCost Gecode::Int::Element::View< VA, VB, VC, pc_ac >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)			const [inline, virtual]

Cost function.

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Element::ViewDom< VA, VB, VC >.

Definition at line 135 of file view.hpp.

template<class VA , class VB , class VC , PropCond pc_ac>

void Gecode::Int::Element::View< VA, VB, VC, pc_ac >::reschedule

(

Space &

home

)

[inline, virtual]

Schedule function.

Implements Gecode::Propagator.

Definition at line 144 of file view.hpp.

template<class VA , class VB , class VC , PropCond pc_ac>

size_t Gecode::Int::Element::View< VA, VB, VC, pc_ac >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 152 of file view.hpp.

---

Member Data Documentation

template<class VA, class VB, class VC, PropCond pc_ac>

IdxViewArray<VA> Gecode::Int::Element::View< VA, VB, VC, pc_ac >::iv [protected]

Current index-view map.

Definition at line 210 of file element.hh.

template<class VA, class VB, class VC, PropCond pc_ac>

VB Gecode::Int::Element::View< VA, VB, VC, pc_ac >::x0 [protected]

View for index.

Definition at line 212 of file element.hh.

template<class VA, class VB, class VC, PropCond pc_ac>

VC Gecode::Int::Element::View< VA, VB, VC, pc_ac >::x1 [protected]

View for result.

Definition at line 214 of file element.hh.

---

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

• gecode/int/element.hh (Revision: 15137)
• gecode/int/element/view.hpp (Revision: 15137)