Gecode::DomainSize< Int::IntView > Class Template Reference

List of all members.

---

Detailed Description

template<>
class Gecode::DomainSize< Int::IntView >

Class providing domain size info.

This class specializes the DomainSize class for integer views.

Definition at line 321 of file view.icc.

Static Public Member Functions
static int	size (const Int::IntView &iv)
	The size of an integer domain.

---

Member Function Documentation

static int Gecode::DomainSize< Int::IntView >::size

(

const Int::IntView &

iv

)

[inline, static]

The size of an integer domain.

Definition at line 324 of file view.icc.

---

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

• gecode/int/view.icc (Revision: 7297)