
Layer for a view in the layered graph More...
#include <extensional.hh>
Public Attributes | |
| View | x |
| Integer view. More... | |
| StateIdx | n_states |
| Number of states used by outgoing edges. More... | |
| ValSize | size |
| Number of supported values. More... | |
| State * | states |
| States used by outgoing edges. More... | |
| Support * | support |
| Supported values. More... | |
Layer for a view in the layered graph
Definition at line 95 of file extensional.hh.
| View Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::x |
Integer view.
Definition at line 97 of file extensional.hh.
| StateIdx Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::n_states |
Number of states used by outgoing edges.
Definition at line 98 of file extensional.hh.
| ValSize Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::size |
Number of supported values.
Definition at line 99 of file extensional.hh.
| State* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::states |
States used by outgoing edges.
Definition at line 100 of file extensional.hh.
| Support* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer::support |
Supported values.
Definition at line 101 of file extensional.hh.