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. | |
| unsigned int | size |
| Number of supported values. | |
| 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
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.
template<class View, class Val, class Degree, class StateIdx>
| unsigned int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::size |
Number of supported values.
Definition at line 96 of file extensional.hh.
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 97 of file extensional.hh.
The documentation for this class was generated from the following file:
- gecode/int/extensional.hh (Revision: 9878)