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
Supported value.
Definition at line 88 of file extensional.hh.
Number of supporting edges.
Definition at line 89 of file extensional.hh.
Supporting edges in layered graph.
Definition at line 90 of file extensional.hh.