TransitionWalker.walk

"Walks down" an edge <code>(x,y)</code> in the digraph.

interface TransitionWalker
void
walk

Meta