Uses of Interface
org.oristool.analyzer.state.StateBuilder

Packages that use StateBuilder

Package	Description
org.oristool.models.stpn.trees	Calculus of stochastic state classes.

Uses of StateBuilder in org.oristool.models.stpn.trees

Classes in org.oristool.models.stpn.trees that implement StateBuilder

Modifier and Type	Class	Description
final class	DeterministicEnablingStateBuilder	State builder for stochastic time Petri nets.
final class	DeterministicEnablingTimedStateBuilder	State builder for time Petri nets using deterministic enabling times.
class	NewlyEnablingStateBuilder	State builder for stochastic time Petri nets, using standard regenerations.