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

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

`#include <extensional.hh>`

## Public Attributes

View | x
| Integer view.
StateIdx | n_states
| Number of states used by outgoing edges.
ValSize | size
| Number of supported values.
State * | states
| States used by outgoing edges.
Support * | support
| Supported values.

## Detailed Description

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

Layer for a view in the layered graph

Definition at line 93 of file extensional.hh.

## Member Data Documentation

## x

template<class View, class Val, class Degree, class StateIdx>

View Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::x

Integer view.

Definition at line 95 of file extensional.hh.

## n_states

template<class View, class Val, class Degree, class StateIdx>

StateIdx Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::n_states

Number of states used by outgoing edges.

Definition at line 96 of file extensional.hh.

## size

template<class View, class Val, class Degree, class StateIdx>

ValSize Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::size

Number of supported values.

Definition at line 97 of file extensional.hh.

## states

template<class View, class Val, class Degree, class StateIdx>

State* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::states

States used by outgoing edges.

Definition at line 98 of file extensional.hh.

## support

template<class View, class Val, class Degree, class StateIdx>

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

Supported values.

Definition at line 99 of file extensional.hh.

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

- gecode/int/extensional.hh