Package gov.nasa.jpf.util.automaton

Class Summary

Class	Description
Automaton<S extends State>	generic class for modeling automatons Since this is used in so many extensions from both model and native code, it seems appropriate to add a basis implementation to util.
State
Transition