Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Layer Class Reference

Layer for a view in the layered graph. More...

#include <extensional.hh>

List of all members.

Public Attributes
unsigned int	size
	Number of supported values.
Support *	support
	Supported values.

---

Detailed Description

template<class View, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Layer

Layer for a view in the layered graph.

Definition at line 99 of file extensional.hh.

---

Member Data Documentation

template<class View, class Degree, class StateIdx>

unsigned int Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Layer::size

Number of supported values.

Definition at line 101 of file extensional.hh.

template<class View, class Degree, class StateIdx>

Support* Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Layer::support

Supported values.

Definition at line 102 of file extensional.hh.

---

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

• gecode/int/extensional.hh (Revision: 8139)