Sirio 2.0.0-SNAPSHOT API

Packages 
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.log
Provides logging and monitoring utilities.
org.oristool.analyzer.policy
Enumeration policies for state space exploration.
org.oristool.analyzer.state
Generic state representation.
org.oristool.analyzer.stop
Stop conditions for state space exploration.
org.oristool.lello
Parsing of input formulas.
org.oristool.lello.ast
Provides classes for AST representation.
org.oristool.lello.exception
Provides exceptions used by the parsing API.
org.oristool.lello.parse
Parsing of input strings.
org.oristool.lello.visitor
AST visitors.
org.oristool.math
Provides classes for the encoding and manipulation of PDFs.
org.oristool.math.domain
PDF supports.
org.oristool.math.expression
Expolynomial densities.
org.oristool.math.function
PDF densities.
org.oristool.models
Provides classes for the analysis of different models.
org.oristool.models.gspn
Analysis of GSPNs.
org.oristool.models.gspn.chains
Analysis of Markov chains.
org.oristool.models.gspn.reachability
Reachability analysis in GSPNs.
org.oristool.models.pn
Analysis of Petri nets.
org.oristool.models.stpn
Analysis of STPNs.
org.oristool.models.stpn.onegen
Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady
Steady-state analysis of MRPs.
org.oristool.models.stpn.trans
Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees
Calculus of stochastic state classes.
org.oristool.models.tpn
Analysis of TPNs.
org.oristool.petrinet
Petri net representation.
org.oristool.simulator
Simulator framework.
org.oristool.simulator.rewards
Simulation rewards.
org.oristool.simulator.samplers
Random variable samplers.
org.oristool.simulator.stpn
Provides classes for the simulation of STPNs.
org.oristool.util
Utility classes.
Skip navigation links

Copyright © 2018 STLAB. All rights reserved.