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