JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Package
Next Package
Frames
No Frames
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Package
Next Package
Frames
No Frames
All Classes