method

following_states

following_states(t, a)
public

Returns set of NFA states to which there is a transition on ast symbol a from some state s in t.