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