Class Hierarchy
- java.lang.Object
- org.oristool.models.stpn.onegen.OneGenState (implements org.oristool.models.gspn.chains.CTMCState<S>)
- org.oristool.models.stpn.onegen.OneGenTransient (implements org.oristool.models.Engine<M,
S, R>) - org.oristool.models.stpn.onegen.OneGenTransient.Builder