Uses of Package
org.oristool.analyzer.state

Packages that use org.oristool.analyzer.state

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.graph	Provides classes for the representation of state spaces.
org.oristool.analyzer.state	Generic state representation.
org.oristool.analyzer.stop	Stop conditions for state space exploration.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Classes in org.oristool.analyzer.state used by org.oristool.analyzer

Class	Description
State	A state collecting data as features.

Classes in org.oristool.analyzer.state used by org.oristool.analyzer.graph

Class	Description
State	A state collecting data as features.

Classes in org.oristool.analyzer.state used by org.oristool.analyzer.state

Class	Description
LocalStop	State feature tagging states where a local stop criterion was applied.
State	A state collecting data as features.
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.analyzer.stop

Class	Description
State	A state collecting data as features.

Classes in org.oristool.analyzer.state used by org.oristool.models.gspn.reachability

Class	Description
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.models.pn

Class	Description
State	A state collecting data as features.
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.models.stpn.onegen

Class	Description
State	A state collecting data as features.

Classes in org.oristool.analyzer.state used by org.oristool.models.stpn.trees

Class	Description
State	A state collecting data as features.
StateBuilder	Builds a full state representation from a discrete summary.
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.models.tpn

Class	Description
State	A state collecting data as features.
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.simulator

Class	Description
State	A state collecting data as features.
StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state used by org.oristool.simulator.stpn

Class	Description
State	A state collecting data as features.