number of visited eps for each state
Pair of state and its depth.
Public Members
State with a depth.
Depth of a state.
Contents: