Edge defined by in-state and out-state More...
#include <extensional.hh>
Public Attributes | |
StateIdx | i_state |
Number of in-state. | |
StateIdx | o_state |
Number of out-state. |
Edge defined by in-state and out-state
Number of in-state.
Definition at line 82 of file extensional.hh.
Number of out-state.
Definition at line 83 of file extensional.hh.