main page modules namespaces classes files
Gecode home

Gecode::Int::Element::View< ViewA, ViewB, pcb > Class Template Reference

#include <element.hh>

Inherits Gecode::Propagator.

List of all members.

---

Detailed Description

template<class ViewA, class ViewB, PropCond pcb>
class Gecode::Int::Element::View< ViewA, ViewB, pcb >

Base-class for element propagator for array of views.

Definition at line 104 of file element.hh.

Public Member Functions
virtual PropCost	cost (void) 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 (Space *home, IdxView< ViewB > *iv, int n, ViewA x0, ViewB x1)
	Constructor for creation.
Protected Attributes
ViewA	x0
	View for index.
ViewB	x1
	View for result.
int	n
	Number of elements in index-view map.
IdxView< ViewB > *	iv
	Current index-view map.

---

Constructor & Destructor Documentation

template<class ViewA, class ViewB, PropCond pcb>

Gecode::Int::Element::View< ViewA, ViewB, pcb >::View	(	Space *	home,
		bool	share,
		View< ViewA, ViewB, pcb > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 118 of file view.icc.

template<class ViewA, class ViewB, PropCond pcb>

Gecode::Int::Element::View< ViewA, ViewB, pcb >::View	(	Space *	home,
		IdxView< ViewB > *	iv,
		int	n,
		ViewA	x0,
		ViewB	x1
	)			[protected]

Constructor for creation.

Definition at line 107 of file view.icc.

---

Member Function Documentation

template<class ViewA, class ViewB, PropCond pcb>

PropCost Gecode::Int::Element::View< ViewA, ViewB, pcb >::cost

(

void

)

const [virtual]

Cost function.

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Element::ViewDom< ViewA, ViewB >.

Definition at line 131 of file view.icc.

template<class ViewA, class ViewB, PropCond pcb>

size_t Gecode::Int::Element::View< ViewA, ViewB, pcb >::dispose

(

Space *

home

)

[virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 140 of file view.icc.

---

Member Data Documentation

template<class ViewA, class ViewB, PropCond pcb>

ViewA Gecode::Int::Element::View< ViewA, ViewB, pcb >::x0 [protected]

View for index.

Definition at line 107 of file element.hh.

template<class ViewA, class ViewB, PropCond pcb>

ViewB Gecode::Int::Element::View< ViewA, ViewB, pcb >::x1 [protected]

View for result.

Definition at line 109 of file element.hh.

template<class ViewA, class ViewB, PropCond pcb>

int Gecode::Int::Element::View< ViewA, ViewB, pcb >::n [protected]

Number of elements in index-view map.

Definition at line 111 of file element.hh.

template<class ViewA, class ViewB, PropCond pcb>

IdxView<ViewB>* Gecode::Int::Element::View< ViewA, ViewB, pcb >::iv [protected]

Current index-view map.

Definition at line 113 of file element.hh.

---

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

• gecode/int/element.hh (Revision: 3512)
• gecode/int/element/view.icc (Revision: 3512)