Uses of Interface
org.oristool.models.gspn.chains.CTMCState

Packages that use CTMCState

Package	Description
org.oristool.models.gspn.chains	Analysis of Markov chains.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.

Uses of CTMCState in org.oristool.models.gspn.chains

Classes in org.oristool.models.gspn.chains with type parameters of type CTMCState

Modifier and Type	Class	Description
class	CTMCStationary<M,S extends CTMCState<M>>	Computation of the stationary distribution of a CTMC.
static class	CTMCStationary.Builder<M,S extends CTMCState<M>>
class	CTMCTransient<M,S extends CTMCState<M>>	Computation of the transient probabilities of a CTMC.
static class	CTMCTransient.Builder<M,S extends CTMCState<M>>

Methods in org.oristool.models.gspn.chains with type parameters of type CTMCState

Modifier and Type	Method	Description
static <M, S extends CTMCState<M>> CTMCStationary.Builder<M,S>	CTMCStationary.builder()	Creates a builder for analysis configurations (with default values).
static <M, S extends CTMCState<M>> CTMCTransient.Builder<M,S>	CTMCTransient.builder()	Creates a builder for analysis configurations (with default values).

Uses of CTMCState in org.oristool.models.gspn.reachability

Classes in org.oristool.models.gspn.reachability that implement CTMCState

Modifier and Type	Class	Description
final class	SPNState	A GSPN state, including a sojourn rate and a marking.

Uses of CTMCState in org.oristool.models.stpn.onegen

Classes in org.oristool.models.stpn.onegen that implement CTMCState

Modifier and Type	Class	Description
class	OneGenState	CTMC state with reference to a node in the succession graph.