Uses of Interface
org.oristool.models.stpn.MarkingExpr
Packages that use MarkingExpr
Package
Description
Analysis of STPNs.
Calculus of stochastic state classes.
-
Uses of MarkingExpr in org.oristool.models.stpn
Classes in org.oristool.models.stpn that implement MarkingExprModifier and TypeClassDescriptionstatic classstatic classFields in org.oristool.models.stpn declared as MarkingExprModifier and TypeFieldDescriptionstatic final MarkingExprMarkingExpr.ONEstatic final MarkingExprMarkingExpr.ZEROMethods in org.oristool.models.stpn that return MarkingExprModifier and TypeMethodDescriptionstatic MarkingExprCreates a marking expression from a string.static MarkingExprMarkingExpr.of(double value) Creates a constant marking expression. -
Uses of MarkingExpr in org.oristool.models.stpn.trees
Methods in org.oristool.models.stpn.trees that return MarkingExprModifier and TypeMethodDescriptionStochasticTransitionFeature.clockRate()Returns the rate used to decrease the firing time of this transitions.StochasticTransitionFeature.weight()Returns the weight this instance.Methods in org.oristool.models.stpn.trees with parameters of type MarkingExprModifier and TypeMethodDescriptionstatic StochasticTransitionFeatureStochasticTransitionFeature.newDeterministicInstance(BigDecimal value, MarkingExpr weight) Builds the stochastic feature of a transition with deterministic timer.static StochasticTransitionFeatureStochasticTransitionFeature.newDeterministicInstance(BigDecimal value, MarkingExpr weight, MarkingExpr clockRate) Builds the stochastic feature of a transition with deterministic timer.static StochasticTransitionFeatureStochasticTransitionFeature.newErlangInstance(int k, BigDecimal rate, MarkingExpr clockRate, MarkingExpr weight) Builds the stochastic feature of a transition with Erlang distributed timer.static StochasticTransitionFeatureStochasticTransitionFeature.newExponentialInstance(BigDecimal expRate, MarkingExpr clockRate) Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.static StochasticTransitionFeatureStochasticTransitionFeature.newExponentialInstance(BigDecimal expRate, MarkingExpr clockRate, MarkingExpr weight) Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.static StochasticTransitionFeatureStochasticTransitionFeature.newUniformInstance(BigDecimal eft, BigDecimal lft, MarkingExpr clockRate) Builds the stochastic feature of a transition with uniformly distributed timer.static StochasticTransitionFeatureStochasticTransitionFeature.of(PartitionedFunction density, MarkingExpr weight, MarkingExpr rate)