Gecode::Int::Element::View Class 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 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

Base-class for element propagator for array of views.

---

Constructor & Destructor Documentation

Gecode::Int::Element::View::View	(	Space &	home,
		bool	share,
		View &	p
	)		[inline, protected]

Constructor for cloning p.

Definition at line 240 of file view.hpp.

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

Constructor for creation.

Definition at line 230 of file view.hpp.

---

Member Function Documentation

PropCost Gecode::Int::Element::View::cost	(	const Space &	home,
		const ModEventDelta &	med
	)		const [virtual]

Cost function.

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Element::ViewDom.

Definition at line 249 of file view.hpp.

size_t Gecode::Int::Element::View::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 258 of file view.hpp.

---

Member Data Documentation

IdxViewArray<VA> Gecode::Int::Element::View::iv [protected]

Current index-view map.

Definition at line 263 of file element.hh.

VB Gecode::Int::Element::View::x0 [protected]

View for index.

Definition at line 265 of file element.hh.

VC Gecode::Int::Element::View::x1 [protected]

View for result.

Definition at line 267 of file element.hh.

---

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

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