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

Support information for a value. More...

#include <extensional.hh>

List of all members.

Public Attributes
int	val
	Supported value.
Edge *	edges
	Supporting edges in layered graph.

---

Detailed Description

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

Support information for a value.

Definition at line 93 of file extensional.hh.

---

Member Data Documentation

template<class View, class Degree, class StateIdx>

int Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Support::val

Supported value.

Definition at line 95 of file extensional.hh.

template<class View, class Degree, class StateIdx>

Edge* Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Support::edges

Supporting edges in layered graph.

Definition at line 96 of file extensional.hh.

---

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

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