com.raffaeleconforti.automaton
Classes
Automaton
State
TarjanSCC
Transition