Gecode::Int::Extensional::LayeredGraph< View >::IndexRange Class Reference

#include <extensional.hh>

List of all members.

---

Detailed Description

template<class View>
class Gecode::Int::Extensional::LayeredGraph< View >::IndexRange

Range approximation of which positions have changed.

Definition at line 87 of file extensional.hh.

Public Member Functions
	IndexRange (void)
	Initialize range as empty.
void	reset (void)
	Reset range to be empty.
void	add (int i)
	Add index i to range.
int	fst (void) const
	Return first position.
int	lst (void) const
	Return last position.

---

Constructor & Destructor Documentation

template<class View>

Gecode::Int::Extensional::LayeredGraph< View >::IndexRange::IndexRange

(

void

)

[inline]

Initialize range as empty.

Definition at line 167 of file layered-graph.icc.

---

Member Function Documentation

template<class View>

void Gecode::Int::Extensional::LayeredGraph< View >::IndexRange::reset

(

void

)

[inline]

Reset range to be empty.

Definition at line 171 of file layered-graph.icc.

template<class View>

void Gecode::Int::Extensional::LayeredGraph< View >::IndexRange::add

(

int

i

)

[inline]

Add index i to range.

Definition at line 176 of file layered-graph.icc.

template<class View>

int Gecode::Int::Extensional::LayeredGraph< View >::IndexRange::fst

(

void

)

const [inline]

Return first position.

Definition at line 181 of file layered-graph.icc.

template<class View>

int Gecode::Int::Extensional::LayeredGraph< View >::IndexRange::lst

(

void

)

const [inline]

Return last position.

Definition at line 186 of file layered-graph.icc.

---

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

• gecode/int/extensional.hh (Revision: 7285)
• gecode/int/extensional/layered-graph.icc (Revision: 6262)