Struct mata::applications::strings::seg_nfa::Segmentation::StateDepthTuple

struct StateDepthTuple

number of visited eps for each state

Pair of state and its depth.

Public Members

State state

State with a depth.

EpsilonDepth depth

Depth of a state.