
Support information for a value More...
#include <extensional.hh>
Public Attributes | |
| Val | val |
| Supported value. More... | |
| Degree | n_edges |
| Number of supporting edges. More... | |
| Edge * | edges |
| Supporting edges in layered graph. More... | |
Support information for a value
Definition at line 86 of file extensional.hh.
| Val Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support::val |
Supported value.
Definition at line 88 of file extensional.hh.
| Degree Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support::n_edges |
Number of supporting edges.
Definition at line 89 of file extensional.hh.
| Edge* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support::edges |
Supporting edges in layered graph.
Definition at line 90 of file extensional.hh.