A B C D E F G H I J L M N O P R S T U V W X Y Z 

A

abs() - Method in class org.oristool.math.OmegaBigDecimal
Returns the absolute value of this number.
AbsorptionProbs<S> - Class in org.oristool.models.gspn.chains
Computation of absorption probabilities into BSCCs from all states.
add(Succession) - Method in interface org.oristool.analyzer.policy.EnumerationPolicy
Adds the succession child as a new state to be explored.
add(Succession) - Method in class org.oristool.analyzer.policy.FIFOPolicy
 
add(Succession) - Method in class org.oristool.analyzer.policy.LIFOPolicy
 
add(Succession) - Method in class org.oristool.analyzer.policy.PriorityPolicy
 
add(Succession) - Method in class org.oristool.models.stpn.trees.TruncationPolicy
 
add(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements addition.
add(Expolynomial) - Method in class org.oristool.math.expression.Expolynomial
Adds another expolynomial.
add(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
Returns an OmegaBigDecimal whose value is (this + augend).
addAgeVariable(Variable) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds an age variable.
addAgeVariable(Variable, BigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds a deterministic age variable.
addAtomicTerm(AtomicTerm) - Method in class org.oristool.math.expression.Exmonomial
Adds a new atomic term to the product.
addContinuousVariable(Variable, PartitionedFunction) - Method in class org.oristool.math.function.StateDensityFunction
Adds a continuous variable with give PDF.
addCurrentRunObserver(SequencerObserver) - Method in class org.oristool.simulator.Sequencer
Adds an observer of the current simulation run.
addDeterministicVariable(Variable, BigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Adds a deterministic variable to this PDF.
addError(String) - Method in class org.oristool.models.ValidationMessageCollector
 
addExmonomial(Exmonomial) - Method in class org.oristool.math.expression.Expolynomial
Adds an exmonomial to the sum.
addExpVariable(Variable, BigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds an exponentially-distributed variable.
addFeature(E) - Method in class org.oristool.util.Featurizable
Adds a feature to this featurizable object.
addInhibitorArc(Place, Transition) - Method in class org.oristool.petrinet.PetriNet
Adds an inhibitor arc with multiplicity 1.
addInhibitorArc(Place, Transition, int) - Method in class org.oristool.petrinet.PetriNet
Adds an inhibitor arc with given multiplicity.
addMessage(ValidationMessageCollector.Level, String) - Method in class org.oristool.models.ValidationMessageCollector
 
addObserver(AnalyzerObserver) - Method in class org.oristool.analyzer.Analyzer
 
addObserver(RewardEvaluatorObserver) - Method in class org.oristool.simulator.rewards.RewardEvaluator
Adds an observer to this evaluator.
addObserver(RewardObserver) - Method in class org.oristool.simulator.rewards.BasicReward
 
addObserver(RewardObserver) - Method in interface org.oristool.simulator.rewards.Reward
 
addObserver(SequencerObserver) - Method in class org.oristool.simulator.Sequencer
Adds an observer of the simulation.
addPlace(String) - Method in class org.oristool.petrinet.PetriNet
Adds a place to the Petri net.
addPlace(Place) - Method in class org.oristool.models.pn.PlaceFlusher
 
addPostcondition(Transition, Place) - Method in class org.oristool.petrinet.PetriNet
Adds a postcondition with multiplicity 1.
addPostcondition(Transition, Place, int) - Method in class org.oristool.petrinet.PetriNet
Adds a postcondition with given multiplicity.
addPrecondition(Place, Transition) - Method in class org.oristool.petrinet.PetriNet
Adds a precondition with multiplicity 1.
addPrecondition(Place, Transition, int) - Method in class org.oristool.petrinet.PetriNet
Adds a precondition with given multiplicity.
addSuccession(Succession) - Method in class org.oristool.analyzer.graph.SuccessionGraph
Adds a succession to the graph.
addSynchronizedVariable(Variable, Variable, BigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Adds a variable with deterministic delay with respect to an existing continuous variable.
addTimeSeries(Marking, BigDecimal[]) - Method in class org.oristool.simulator.TimeSeriesRewardResult
 
addTokens(Place, int) - Method in class org.oristool.petrinet.Marking
Adds a specified number of tokens in a place.
addTransition(String) - Method in class org.oristool.petrinet.PetriNet
Adds a transition to the Petri net.
addTruncatedExp(Variable, BigDecimal, OmegaBigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds a truncated EXP [0, lft] to the state density.
addVariable(Variable, PartitionedFunction) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds a variable with the given PDF.
addVariableReduced(Variable, PartitionedFunction, BigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Adds a variable with the input PDF, reduced of given amount.
addVariables(Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Introduces new variables in this zone.
addVariables(Variable...) - Method in class org.oristool.math.domain.DBMZone
 
addWarning(String) - Method in class org.oristool.models.ValidationMessageCollector
 
advanceTo(int) - Method in class org.oristool.models.gspn.chains.DTMCTransientIter
Advances the probability distribution to the given time point.
AGE - Static variable in class org.oristool.math.expression.Variable
 
AlwaysFalseStopCriterion - Class in org.oristool.analyzer.stop
A stop criterion that evaluates always to false.
AlwaysFalseStopCriterion() - Constructor for class org.oristool.analyzer.stop.AlwaysFalseStopCriterion
 
AnalysisLogger - Interface in org.oristool.analyzer.log
Generic logger interface.
AnalysisMonitor - Interface in org.oristool.analyzer.log
Generic monitor interface for the analysis engines.
analyze() - Method in class org.oristool.analyzer.Analyzer
Starts the analysis.
Analyzer<M,E extends Event> - Class in org.oristool.analyzer
General state-space expansion algorithm.
Analyzer(AnalyzerComponentsFactory<M, E>, M, State) - Constructor for class org.oristool.analyzer.Analyzer
Creates an analyzer that will use the objects provided by the given factory to analyze a model from some initial state.
AnalyzerComponentsFactory<M,E extends Event> - Interface in org.oristool.analyzer
Factory for all the components used by the analyzer.
AnalyzerObserver - Interface in org.oristool.analyzer
Common interface of observers of the analyzer execution.
and(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements logical AND.
AndStopCriterion - Class in org.oristool.analyzer.stop
Logical AND of two stop criteria.
AndStopCriterion(List<StopCriterion>) - Constructor for class org.oristool.analyzer.stop.AndStopCriterion
 
AndStopCriterion(StopCriterion...) - Constructor for class org.oristool.analyzer.stop.AndStopCriterion
 
ANY - Static variable in class org.oristool.petrinet.MarkingCondition
 
apply(MutableValueGraph<S, Double>) - Method in class org.oristool.models.gspn.chains.DTMCStationary
Runs this analysis on a DTMC.
apply(DTMC<S>) - Method in class org.oristool.models.gspn.chains.CTMCStationary
Runs this analysis on a CTMC.
apply(DTMC<S>, double[]) - Method in class org.oristool.models.gspn.chains.CTMCTransient
Runs this analysis on an input CTMC.
asTimedTransitionFeature() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Returns a TPN transition feature encoding only the minimum and maximum value for a transition timer.
AtomicTerm - Interface in org.oristool.math.expression
A generic atomic term (exponential or monomial).
avg(List<Value>) - Static method in class org.oristool.lello.ValueFuncs
Computes the mean of a list of values.

B

BasicReward - Class in org.oristool.simulator.rewards
A reward implementation for generic time.
BasicReward(Sequencer, RewardTime, int) - Constructor for class org.oristool.simulator.rewards.BasicReward
Builds a reward instance and adds it as an observer to the simulator.
bigDecimalValue() - Method in class org.oristool.math.OmegaBigDecimal
 
BIN_OP_FACTORS - org.oristool.lello.parse.TerminalKind
An arithmetic binary operator which has the same precedence as the multiplication.
BIN_OP_LOGIC_FACTORS - org.oristool.lello.parse.TerminalKind
A logic binary operator which has the same precedence as logical and.
BIN_OP_LOGIC_TERMS - org.oristool.lello.parse.TerminalKind
A logic binary operator which has the same precedence as logical or.
BIN_OP_POWERS - org.oristool.lello.parse.TerminalKind
An arithmetic binary operator which has the same precedence as the power.
BIN_OP_RELS - org.oristool.lello.parse.TerminalKind
A relational binary operator such as == or <=.
BIN_OP_TERMS - org.oristool.lello.parse.TerminalKind
An arithmetic binary operator which has the same precedence as the addition.
BinaryExpression - Class in org.oristool.lello.ast
Represents a binary expression.
BinaryExpression(Expression, String, Expression) - Constructor for class org.oristool.lello.ast.BinaryExpression
Initializes a new binary expression.
Bindings - Class in org.oristool.lello
A collection of pairs name/value, also called bindings.
Bindings() - Constructor for class org.oristool.lello.Bindings
Initializes an empty set of bindings.
BRACKET_CLOSE - org.oristool.lello.parse.TerminalKind
A closing bracket.
BRACKET_OPEN - org.oristool.lello.parse.TerminalKind
An open bracket.
Brackets - Class in org.oristool.lello.ast
Represents an expression enclosed in brackets.
Brackets(List<Expression>) - Constructor for class org.oristool.lello.ast.Brackets
Initializes a new vector, which is a list of expressions enclosed in brackets.
Brackets(Expression) - Constructor for class org.oristool.lello.ast.Brackets
Initializes a new expression in brackets.
bscc() - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Returns the list of bottom strongly connected components.
bsccIndexFor(S) - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Returns the position of the BSCC of a BSCC node.
build() - Method in class org.oristool.models.gspn.chains.CTMCStationary.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.gspn.chains.CTMCTransient.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.gspn.chains.DTMCStationary.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.gspn.reachability.GSPNReachability.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.stpn.steady.RegSteadyState.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Builds a new instance with the provided configurations.
build() - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Builds a new instance with the provided configurations.
build(D) - Method in interface org.oristool.analyzer.state.StateBuilder
 
build(DeterministicEnablingState) - Method in class org.oristool.models.stpn.trees.DeterministicEnablingStateBuilder
Builds an initial State instance from a DeterministicEnablingState.
build(DeterministicEnablingState) - Method in class org.oristool.models.stpn.trees.DeterministicEnablingTimedStateBuilder
 
build(Marking) - Method in class org.oristool.models.stpn.trees.NewlyEnablingStateBuilder
 
build(PetriNet, Marking) - Method in interface org.oristool.simulator.SimulatorInitialStateBuilder
 
build(PetriNet, Marking) - Method in class org.oristool.simulator.stpn.SimulatorSTPNInitialStateBuilder
 
builder() - Static method in class org.oristool.models.gspn.chains.CTMCStationary
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.gspn.chains.CTMCTransient
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.gspn.chains.DTMCStationary
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.gspn.GSPNSteadyState
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.gspn.GSPNTransient
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.gspn.reachability.GSPNReachability
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.stpn.onegen.OneGenTransient
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.stpn.steady.RegSteadyState
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.stpn.trans.RegTransient
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.stpn.trans.TreeTransient
Creates a builder for analysis configurations (with default values).
builder() - Static method in class org.oristool.models.tpn.TimedAnalysis
Creates a builder for analysis configurations (with default values).
buildInitialState(PetriNet, Marking) - Method in class org.oristool.models.tpn.TimedComponentsFactory
Builds an initial State instance from a marking.

C

calculateBinomialCoefficient(Integer, Integer) - Static method in class org.oristool.math.expression.MathUtil
Computes the binomial coefficient "n choose k".
calculateFactorial(int) - Static method in class org.oristool.math.expression.MathUtil
Computes the factorial n!.
Calculus - Class in org.oristool.math
 
Calculus() - Constructor for class org.oristool.math.Calculus
 
canAnalyze(M) - Method in interface org.oristool.models.Engine
Checks if the analysis can be applied to the given model.
canAnalyze(M, ValidationMessageCollector) - Method in interface org.oristool.models.Engine
Checks if the analysis can be applied to the given model.
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.gspn.GSPNSteadyState
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.gspn.GSPNTransient
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.gspn.reachability.GSPNReachability
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.stpn.onegen.OneGenTransient
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.stpn.steady.RegSteadyState
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.stpn.trans.RegTransient
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.stpn.trans.TreeTransient
 
canAnalyze(PetriNet, ValidationMessageCollector) - Method in class org.oristool.models.tpn.TimedAnalysis
 
canVariableBeLowerOrEqual(Variable, Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Checks if a variable can be the minimum among a set of variables.
canVariableBeLowestOrEqual(Variable) - Method in class org.oristool.math.domain.DBMZone
Checks if a variable can be the minimum in the zone.
cartesianProduct(DBMZone) - Method in class org.oristool.math.domain.DBMZone
Computes the Cartesian product with another zone (with distinct set of variables).
cartesianProduct(Function) - Method in class org.oristool.math.function.GEN
Computes the product PDF with another set of random variables.
cartesianProduct(Function) - Method in class org.oristool.math.function.PartitionedGEN
Returns the product with another PDF, which is the product of densities over the Cartesian product of supports.
cartesianProduct(PartitionedFunction) - Method in class org.oristool.math.function.PartitionedGEN
Returns the product with another partitioned function, which is the product of densities over the Cartesian product of supports.
checkNewlyEnabled() - Method in class org.oristool.models.pn.PetriStateFeature
 
clockRate() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Returns the rate used to decrease the firing time of this transitions.
COMMA - org.oristool.lello.parse.TerminalKind
A comma.
compareTo(Variable) - Method in class org.oristool.math.expression.Variable
 
compareTo(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
 
compute(double, double) - Static method in class org.oristool.models.gspn.chains.FoxGlynn
Computes the Fox-Glynn approximation of Poisson probabilities.
compute(ValueGraph<S, Double>) - Static method in class org.oristool.models.gspn.chains.AbsorptionProbs
Computes the BSCC components of an input DTMC and the absorption probabilities from each transient state.
compute(M, S) - Method in interface org.oristool.models.Engine
Runs the analysis engine on a given model and initial state.
compute(PetriNet, Marking) - Method in class org.oristool.models.gspn.GSPNSteadyState
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.gspn.GSPNTransient
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.gspn.reachability.GSPNReachability
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.stpn.onegen.OneGenTransient
 
compute(PetriNet, Marking) - Method in class org.oristool.models.stpn.steady.RegSteadyState
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.stpn.trans.RegTransient
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.stpn.trans.TreeTransient
Runs this analysis on a given Petri net from an initial marking.
compute(PetriNet, Marking) - Method in class org.oristool.models.tpn.TimedAnalysis
Runs this analysis on a given Petri net from an initial marking.
computeAggregateSolution(TransientSolution<R, Marking>, String) - Static method in class org.oristool.models.stpn.TransientSolution
Aggregates the marking probabilities based on a predicate.
computeAggregateSolution(TransientSolution<R, Marking>, R, MarkingCondition...) - Static method in class org.oristool.models.stpn.TransientSolution
Aggregates the marking probabilities based on a predicate.
computeInitialState(PetriNet, Marking) - Static method in class org.oristool.models.pn.InitialPetriStateBuilder
 
computeInitialState(PetriNet, Marking) - Method in class org.oristool.models.tpn.InitialTimedStateBuilder
Builds an initial State instance from a marking.
computeInitialState(PetriNet, Marking, boolean) - Static method in class org.oristool.models.pn.InitialPetriStateBuilder
Builds an initial State instance from a marking.
computeIntegralSolution() - Method in class org.oristool.models.stpn.TransientSolution
Computes the integral of each time series.
computeMeanValue(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Computes the mean value of a variable.
computeMeanValue(Variable) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Computes the mean value of a variable.
computeNonIntersectingZones(GEN, List<GEN>) - Method in class org.oristool.math.function.GEN
Computes the PDF on support intersection and those of difference supports.
computeReduced(double, double) - Static method in class org.oristool.models.gspn.chains.FoxGlynn
Computes a reduced Fox-Glynn approximation of Poisson probabilities.
computeRewards(boolean, TransientSolution<R, Marking>, String) - Static method in class org.oristool.models.stpn.TransientSolution
Computes rewards from a transient solution (only for the first initial state).
computeRewards(boolean, TransientSolution<R, Marking>, RewardRate...) - Static method in class org.oristool.models.stpn.TransientSolution
Computes rewards from a transient solution (only for the first initial state).
computeRewards(SteadyStateSolution<Marking>, String) - Static method in class org.oristool.models.stpn.SteadyStateSolution
Computes rewards for a given solution.
computeRewards(SteadyStateSolution<Marking>, RewardRate...) - Static method in class org.oristool.models.stpn.SteadyStateSolution
Computes rewards for a given solution.
computeSample() - Method in class org.oristool.simulator.samplers.MetropolisHastings
Computes the next sample according to the Metropolis-Hastings algorithm.
computeSuccession(M, State, E) - Method in interface org.oristool.analyzer.SuccessionEvaluator
 
computeSuccession(PetriNet, State, Transition) - Method in class org.oristool.models.pn.PetriSuccessionEvaluator
 
computeSuccession(PetriNet, State, Transition) - Method in class org.oristool.models.stpn.trees.StochasticSuccessionEvaluator
 
computeSuccession(PetriNet, State, Transition) - Method in class org.oristool.models.tpn.TimedSuccessionEvaluator
 
computeSuccessor(PetriNet, State, Transition) - Method in interface org.oristool.simulator.SimulatorSuccessorEvaluator
 
computeSuccessor(PetriNet, State, Transition) - Method in class org.oristool.simulator.stpn.SimulatorSTPNSuccessorEvaluator
 
computeTransientClassProbability(OmegaBigDecimal, StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Computes the probability of being in this class at the specified time.
computeVisitedProbability(OmegaBigDecimal, OmegaBigDecimal, StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Computes the probability of reaching this class at a time within the given interval [alpha,beta].
conditionAllToBound(Variable, Set<Variable>, OmegaBigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Imposes the bound leftVar - rightVar <= bound on the support for all pairs of left/right variables, keeping only subzones with nonzero measure.
conditionToBound(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.function.GEN
Imposes the bound min <= v <= max and normalizes the density.
conditionToBound(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Imposes the bound min <= v <= max and normalizes the density.
conditionToInterval(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Imposes the bound x <= v <= y on the support, keeping only subzones with nonzero measure.
conditionToMax(Variable, OmegaBigDecimal) - Method in class org.oristool.math.function.GEN
Imposes the bound v <= max and normalizes the density.
conditionToMax(Variable, OmegaBigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Imposes the bound v <= max and normalizes the density.
conditionToMin(Variable, OmegaBigDecimal) - Method in class org.oristool.math.function.GEN
Imposes the bound v >= min and normalizes the density.
conditionToMin(Variable, OmegaBigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Imposes the bound v >= min and normalizes the density.
conditionToMinimum(Variable) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Conditions this PDF to the event where the input variable is minimum.
conditionToZone(DBMZone) - Method in class org.oristool.math.function.StateDensityFunction
Intersects the support with the input zone, keeping only subzones with nonzero measure.
Constant - Class in org.oristool.lello.ast
Represents a constant expression.
Constant(Value) - Constructor for class org.oristool.lello.ast.Constant
Initializes a new constant expression.
CONSTANT_BOOLEAN - org.oristool.lello.parse.TerminalKind
A BOOLEAN constant.
CONSTANT_INTEGER - org.oristool.lello.parse.TerminalKind
An INTEGER constant.
CONSTANT_NIL - org.oristool.lello.parse.TerminalKind
Represents the constant nil.
CONSTANT_REAL - org.oristool.lello.parse.TerminalKind
A REAL constant.
CONSTANT_STRING - org.oristool.lello.parse.TerminalKind
A STRING constant.
constantShift(BigDecimal) - Method in class org.oristool.math.domain.DBMZone
Applies a constant shift to all variables.
constantShift(BigDecimal) - Method in class org.oristool.math.function.GEN
Adds a constant to all variables in the PDF.
constantShift(BigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Subtracts a constant from all variables.
constantShift(BigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Removes a constant from all variables of this PDF.
constantShift(BigDecimal, Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Applies a constant shift to a set of variables.
constantShift(BigDecimal, Collection<Variable>) - Method in class org.oristool.math.function.GEN
Adds a constant to a set of variables in the PDF.
constantShift(BigDecimal, Collection<Variable>) - Method in class org.oristool.math.function.PartitionedGEN
Subtracts a constant from a set of variables.
constantShift(BigDecimal, Set<Variable>) - Method in class org.oristool.math.function.StateDensityFunction
Removes a constant from a set of input variables.
contains(Map<Variable, OmegaBigDecimal>) - Method in class org.oristool.math.domain.DBMZone
Checks if this zone contains the input point.
contains(DBMZone) - Method in class org.oristool.math.domain.DBMZone
Checks whether this zone fully contains an input one.
containsSubMarking(Marking) - Method in class org.oristool.petrinet.Marking
Checks whether this marking contains the same token counts for a subset of places.
ContinuousRewardTime - Class in org.oristool.simulator.rewards
Continuous reward time: time steps are arbitrary and sojourn times are those associated with a firing event.
ContinuousRewardTime(BigDecimal) - Constructor for class org.oristool.simulator.rewards.ContinuousRewardTime
 
copy() - Method in class org.oristool.lello.ast.BinaryExpression
 
copy() - Method in class org.oristool.lello.ast.Brackets
Creates a copy of this object.
copy() - Method in class org.oristool.lello.ast.Constant
Creates a copy of this object.
copy() - Method in class org.oristool.lello.ast.Expression
Creates a copy of the object.
copy() - Method in class org.oristool.lello.ast.FunctionCall
Creates a copy of this object.
copy() - Method in class org.oristool.lello.ast.UnaryExpression
Creates a copy of this object.
copy() - Method in class org.oristool.lello.ast.Variable
Creates a copy of this object.
copy() - Method in class org.oristool.lello.Value
Creates a copy of this object.
cpsz(DBMZone, Variable) - Static method in class org.oristool.math.Calculus
 
create() - Static method in class org.oristool.models.gspn.chains.DTMC
Creates an empty DTMC.
cspsz(DBMZone, Variable) - Static method in class org.oristool.math.Calculus
 
CTMCState<S> - Interface in org.oristool.models.gspn.chains
Generic interface for states of a CTMC.
CTMCStationary<M,S extends CTMCState<M>> - Class in org.oristool.models.gspn.chains
Computation of the stationary distribution of a CTMC.
CTMCStationary.Builder<M,S extends CTMCState<M>> - Class in org.oristool.models.gspn.chains
 
CTMCTransient<M,S extends CTMCState<M>> - Class in org.oristool.models.gspn.chains
Computation of the transient probabilities of a CTMC.
CTMCTransient.Builder<M,S extends CTMCState<M>> - Class in org.oristool.models.gspn.chains
 
currentProbs() - Method in class org.oristool.models.gspn.chains.DTMCTransientIter
 
currentTime() - Method in class org.oristool.models.gspn.chains.DTMCTransientIter
 

D

DBMZone - Class in org.oristool.math.domain
A DBM zone encoding pairwise constraints between variables.
DBMZone() - Constructor for class org.oristool.math.domain.DBMZone
 
DBMZone(Collection<Variable>) - Constructor for class org.oristool.math.domain.DBMZone
Creates a zone for the given variables, without constraints.
DBMZone(DBMZone) - Constructor for class org.oristool.math.domain.DBMZone
Creates a copy of a DBM zone.
DBMZone(Variable...) - Constructor for class org.oristool.math.domain.DBMZone
 
DBMZone.Subzone - Class in org.oristool.math.domain
A subzone resulting from a projection.
debug(String) - Method in interface org.oristool.analyzer.log.AnalysisLogger
 
debug(String) - Method in enum org.oristool.analyzer.log.NoOpLogger
 
debug(String) - Method in class org.oristool.analyzer.log.PrintStreamLogger
 
DefaultFormatter - Class in org.oristool.lello.visitor
Formats a Lello expression according to a C-like syntax.
DefaultFormatter() - Constructor for class org.oristool.lello.visitor.DefaultFormatter
 
DefaultSimplification - Class in org.oristool.lello.visitor
Simplifies a Lello expression by using some elementary algebraic properties.
DefaultSimplification() - Constructor for class org.oristool.lello.visitor.DefaultSimplification
 
density() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Returns the firing time density of this instance.
DeterministicEnablingState - Class in org.oristool.models.stpn.trees
A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.
DeterministicEnablingState(Marking, Map<Variable, BigDecimal>) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingState
Builds an instance from the given marking and map of enabling times.
DeterministicEnablingState(Marking, Set<Transition>) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingState
Builds an object encoding the deterministic enabling state of non-exponential transitions.
DeterministicEnablingState(Marking, PetriNet) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingState
Builds an object encoding the deterministic enabling state of non-exponential transitions.
DeterministicEnablingStateBuilder - Class in org.oristool.models.stpn.trees
State builder for stochastic time Petri nets.
DeterministicEnablingStateBuilder(PetriNet, boolean) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingStateBuilder
 
DeterministicEnablingStateBuilder(PetriNet, boolean, boolean, BigDecimal, int) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingStateBuilder
Configures a state builder for STPNs.
DeterministicEnablingTimedStateBuilder - Class in org.oristool.models.stpn.trees
State builder for time Petri nets using deterministic enabling times.
DeterministicEnablingTimedStateBuilder(PetriNet, boolean) - Constructor for class org.oristool.models.stpn.trees.DeterministicEnablingTimedStateBuilder
Configures a state builder for TPNs.
dets() - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
Returns the set of (initially) deterministic variables.
DiscreteRewardTime - Class in org.oristool.simulator.rewards
Discrete reward time: time steps and sojourn times are always equal to 1.
DiscreteRewardTime() - Constructor for class org.oristool.simulator.rewards.DiscreteRewardTime
 
div(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements division.
divide(BigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Divides by a constant and normalizes.
divide(BigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Divides by a constant.
divide(BigDecimal, MathContext) - Method in class org.oristool.math.OmegaBigDecimal
Returns a OmegaBigDecimal whose value is (this / divisor), with rounding according to the context settings.
DONTKNOW - org.oristool.lello.Truth
It means that it is not known whether some condition holds or not.
doubleValue() - Method in class org.oristool.math.OmegaBigDecimal
 
DTMC<S> - Class in org.oristool.models.gspn.chains
Directed graph encoding a DTMC.
DTMCStationary<S> - Class in org.oristool.models.gspn.chains
Computation of the stationary distribution of a DTMC.
DTMCStationary.Builder<S> - Class in org.oristool.models.gspn.chains
 
DTMCTransientIter - Class in org.oristool.models.gspn.chains
Iterative computation of DTMC transient probabilities.
duplicate() - Method in interface org.oristool.math.expression.AtomicTerm
Duplicates an atomic term.
duplicate() - Method in class org.oristool.math.expression.ExponentialTerm
 
duplicate() - Method in class org.oristool.math.expression.MonomialTerm
 

E

EnabledEventsBuilder<M,E extends Event> - Interface in org.oristool.analyzer
Common interface used by the analyzer to enumerate the events enabled in a state for a model.
EnablingFunction - Class in org.oristool.petrinet
The enabling function of a transition.
EnablingFunction(String) - Constructor for class org.oristool.petrinet.EnablingFunction
 
EnablingFunction(EnablingFunction) - Constructor for class org.oristool.petrinet.EnablingFunction
Creates a copy the input instance.
EnablingFunction(MarkingCondition) - Constructor for class org.oristool.petrinet.EnablingFunction
 
enablingSyncs - Variable in class org.oristool.models.stpn.trees.EnablingSyncsFeature
 
EnablingSyncsEvaluator - Class in org.oristool.models.stpn.trees
Detector for generalized regenerations.
EnablingSyncsEvaluator() - Constructor for class org.oristool.models.stpn.trees.EnablingSyncsEvaluator
 
EnablingSyncsFeature - Class in org.oristool.models.stpn.trees
State feature encoding synchronizations between enabled timers.
EnablingSyncsFeature() - Constructor for class org.oristool.models.stpn.trees.EnablingSyncsFeature
 
EnablingSyncsFeature(EnablingSyncsFeature) - Constructor for class org.oristool.models.stpn.trees.EnablingSyncsFeature
Builds a deep copy of another instance.
Engine<M,S,R> - Interface in org.oristool.models
Common interface of analysis engines.
enumeratedClasses() - Method in class org.oristool.analyzer.stop.MonitorStopCriterion
 
EnumerationPolicy - Interface in org.oristool.analyzer.policy
Enumeration policy to select the next state to expand.
EOF - org.oristool.lello.parse.TerminalKind
Indicates the end of an input.
epsilon() - Method in class org.oristool.models.gspn.chains.CTMCStationary
Returns the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon() - Method in class org.oristool.models.gspn.chains.CTMCTransient
Returns the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon() - Method in class org.oristool.models.gspn.chains.DTMCStationary
Returns the threshold used to decide whether a probability value should be considered equal to 0.0 in the transition probabilities between states and in the output distribution.
epsilon() - Method in class org.oristool.models.gspn.GSPNSteadyState
Returns the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon(double) - Method in class org.oristool.models.gspn.chains.CTMCStationary.Builder
Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon(double) - Method in class org.oristool.models.gspn.chains.CTMCTransient.Builder
Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon(double) - Method in class org.oristool.models.gspn.chains.DTMCStationary.Builder
Sets the threshold used to decide whether a probability value should be considered equal to 0.0 in the transition probabilities between states and in the output distribution.
epsilon(double) - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
epsilon(double) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the threshold used to decide whether a probability value should be considered equal to 0.0.
EPSILON - Static variable in class org.oristool.lello.ast.Expression
The tolerance beyond which two numeric values are considered the same.
eq(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements equality comparison.
equals(Object) - Method in class org.oristool.analyzer.state.State
 
equals(Object) - Method in class org.oristool.lello.Value
 
equals(Object) - Method in class org.oristool.math.domain.DBMZone
 
equals(Object) - Method in class org.oristool.math.expression.ExponentialTerm
 
equals(Object) - Method in class org.oristool.math.expression.MonomialTerm
 
equals(Object) - Method in class org.oristool.math.expression.Variable
 
equals(Object) - Method in class org.oristool.math.function.EXP
 
equals(Object) - Method in class org.oristool.math.function.GEN
 
equals(Object) - Method in class org.oristool.math.function.PartitionedGEN
 
equals(Object) - Method in class org.oristool.math.function.StateDensityFunction
 
equals(Object) - Method in class org.oristool.math.function.Synchronization
 
equals(Object) - Method in class org.oristool.math.OmegaBigDecimal
Compares this OmegaBigDecimal with the specified Object for equality.
equals(Object) - Method in class org.oristool.models.gspn.reachability.FiringProbability
 
equals(Object) - Method in class org.oristool.models.gspn.reachability.SPNState
 
equals(Object) - Method in class org.oristool.models.pn.PetriStateFeature
 
equals(Object) - Method in class org.oristool.models.pn.Priority
 
equals(Object) - Method in class org.oristool.models.stpn.MarkingExpr.ConstantExpr
 
equals(Object) - Method in class org.oristool.models.stpn.onegen.OneGenState
 
equals(Object) - Method in class org.oristool.models.stpn.trees.DeterministicEnablingState
 
equals(Object) - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
 
equals(Object) - Method in class org.oristool.models.stpn.trees.Regeneration
 
equals(Object) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
equals(Object) - Method in class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
equals(Object) - Method in class org.oristool.models.tpn.TimedStateFeature
 
equals(Object) - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
equals(Object) - Method in class org.oristool.models.ValidationMessageCollector.Message
 
equals(Object) - Method in class org.oristool.petrinet.EnablingFunction
 
equals(Object) - Method in class org.oristool.petrinet.Marking
 
equals(Object) - Method in class org.oristool.util.Pair
 
Erlang - Class in org.oristool.math.function
The Erlang PDF.
Erlang(Variable, int, BigDecimal) - Constructor for class org.oristool.math.function.Erlang
Builds the function lambda^k x^(k-1) e^(-lambda x) / (k-1)! over [0, +infty).
Erlang(Erlang) - Constructor for class org.oristool.math.function.Erlang
Builds a copy of the input Erlang.
ErlangSampler - Class in org.oristool.simulator.samplers
Sampler for Erlang random variables.
ErlangSampler(Erlang) - Constructor for class org.oristool.simulator.samplers.ErlangSampler
 
error() - Method in class org.oristool.models.gspn.chains.CTMCTransient
Returns the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).
error() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).
error() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the maximum allowed error for the computation of transient probabilities of subordinated CTMCs.
error(double) - Method in class org.oristool.models.gspn.chains.CTMCTransient.Builder
Sets the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).
error(double) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the allowed error in the computation of Poisson probabilities with Fox-Glynn algorithm (for each time point).
error(BigDecimal) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the maximum allowed error for the computation of transient probabilities of subordinated CTMCs.
ERROR - org.oristool.models.ValidationMessageCollector.Level
 
eval(Bindings) - Method in class org.oristool.lello.ast.BinaryExpression
 
eval(Bindings) - Method in class org.oristool.lello.ast.Brackets
 
eval(Bindings) - Method in class org.oristool.lello.ast.Constant
 
eval(Bindings) - Method in class org.oristool.lello.ast.Expression
Evaluates this expression using the specified variable bindings.
eval(Bindings) - Method in class org.oristool.lello.ast.FunctionCall
 
eval(Bindings) - Method in class org.oristool.lello.ast.UnaryExpression
 
eval(Bindings) - Method in class org.oristool.lello.ast.Variable
 
EvalException - Exception in org.oristool.lello.exception
Describes an exceptional event occurred while attempting to compute the numeric value of an expression.
EvalException() - Constructor for exception org.oristool.lello.exception.EvalException
 
EvalException(String) - Constructor for exception org.oristool.lello.exception.EvalException
 
EvalException(String, Throwable) - Constructor for exception org.oristool.lello.exception.EvalException
 
EvalException(Throwable) - Constructor for exception org.oristool.lello.exception.EvalException
 
evaluate() - Method in interface org.oristool.simulator.rewards.Reward
 
evaluate() - Method in class org.oristool.simulator.rewards.SymbolicPrefixReward
 
evaluate() - Method in class org.oristool.simulator.stpn.SteadyStateMarkingProbability
 
evaluate() - Method in class org.oristool.simulator.stpn.TransientMarkingConditionProbability
 
evaluate() - Method in class org.oristool.simulator.stpn.TransientMarkingProbability
 
evaluate() - Method in class org.oristool.simulator.stpn.TransitionAbsoluteFiringTime
 
evaluate(double, Marking) - Method in class org.oristool.models.stpn.RewardRate
 
evaluate(Map<Variable, OmegaBigDecimal>) - Method in class org.oristool.math.expression.Exmonomial
Evaluates the exmonomial.
evaluate(Map<Variable, OmegaBigDecimal>) - Method in class org.oristool.math.expression.Expolynomial
Evaluates the expolynomial.
evaluate(Variable, boolean, Variable, boolean, Variable, BigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Replaces base with +/- offset1 +/- offset2 + constant.
evaluate(Variable, boolean, Variable, BigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Replaces base with +/- offset + constant.
evaluate(Variable, Boolean, Variable, Boolean, Variable, BigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Replaces base with +/- offset1 +/- offset2 + constant.
evaluate(Variable, Boolean, Variable, BigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Replaces base with +/- offset + constant.
evaluate(Variable, OmegaBigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Replaces a variable with its value.
evaluate(Variable, OmegaBigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Replaces a variable with its value.
evaluate(OmegaBigDecimal) - Method in interface org.oristool.math.expression.AtomicTerm
Evaluates the atomic term substituting value to its variable.
evaluate(OmegaBigDecimal) - Method in class org.oristool.math.expression.ExponentialTerm
 
evaluate(OmegaBigDecimal) - Method in class org.oristool.math.expression.MonomialTerm
 
evaluate(Marking) - Method in class org.oristool.models.stpn.MarkingExpr.ConstantExpr
 
evaluate(Marking) - Method in interface org.oristool.models.stpn.MarkingExpr
 
evaluate(Marking) - Method in class org.oristool.models.stpn.MarkingExpr.LelloExpr
 
evaluate(Marking) - Method in class org.oristool.petrinet.MarkingCondition
Checks whether the input marking satisfies the predicate encoded by this marking condition.
Event - Interface in org.oristool.analyzer
Common interface of events supported by the analyzer.
EventNameStopCriterion - Class in org.oristool.analyzer.stop
Criterion stopping the analysis when a specific event fired.
EventNameStopCriterion(String) - Constructor for class org.oristool.analyzer.stop.EventNameStopCriterion
 
excludeZeroProb() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns whether or not this analysis excludes transition firings with zero probability.
excludeZeroProb(boolean) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets whether or not this analysis should exclude transition firings with zero probability.
exitRate() - Method in interface org.oristool.models.gspn.chains.CTMCState
 
exitRate() - Method in class org.oristool.models.gspn.reachability.SPNState
 
exitRate() - Method in class org.oristool.models.stpn.onegen.OneGenState
 
Exmonomial - Class in org.oristool.math.expression
A constant term multiplied by a set of AtomicTerm.
Exmonomial(BigDecimal) - Constructor for class org.oristool.math.expression.Exmonomial
 
Exmonomial(Exmonomial) - Constructor for class org.oristool.math.expression.Exmonomial
Builds a copy of the input instance.
Exmonomial(OmegaBigDecimal) - Constructor for class org.oristool.math.expression.Exmonomial
Builds a constant instance.
EXP - Class in org.oristool.math.function
The Exponential PDF.
EXP(Variable, BigDecimal) - Constructor for class org.oristool.math.function.EXP
Builds the function e^(-lambda x) over [0, +infty).
EXP(EXP) - Constructor for class org.oristool.math.function.EXP
 
Expolynomial - Class in org.oristool.math.expression
A sum of Exmonomial terms.
Expolynomial() - Constructor for class org.oristool.math.expression.Expolynomial
Builds an empty expolynomial.
Expolynomial(Expolynomial) - Constructor for class org.oristool.math.expression.Expolynomial
Builds the copy of an expolynomial.
ExponentialSampler - Class in org.oristool.simulator.samplers
Sampler for exponential random variables.
ExponentialSampler(BigDecimal) - Constructor for class org.oristool.simulator.samplers.ExponentialSampler
 
ExponentialSampler(EXP) - Constructor for class org.oristool.simulator.samplers.ExponentialSampler
 
ExponentialTerm - Class in org.oristool.math.expression
An atomic term of the form exp(-lambda * x).
ExponentialTerm(Variable, BigDecimal) - Constructor for class org.oristool.math.expression.ExponentialTerm
Builds an instance for a given variable and rate.
Expression - Class in org.oristool.lello.ast
The base class for every node in Lello AST (Abstract Syntax Tree).
Expression() - Constructor for class org.oristool.lello.ast.Expression
 

F

Feature - Interface in org.oristool.util
The common interface of all dynamic features.
features - Variable in class org.oristool.util.Featurizable
 
Featurizable<E extends Feature> - Class in org.oristool.util
Base implementation of a generic featurizable element.
Featurizable() - Constructor for class org.oristool.util.Featurizable
 
FIFOPolicy - Class in org.oristool.analyzer.policy
FIFO enumeration policy.
FIFOPolicy() - Constructor for class org.oristool.analyzer.policy.FIFOPolicy
 
FIRING_EXECUTED - org.oristool.simulator.Sequencer.SequencerEvent
 
FiringProbability - Class in org.oristool.models.gspn.reachability
Succession feature encoding the firing probability.
FiringProbability(double) - Constructor for class org.oristool.models.gspn.reachability.FiringProbability
 
first() - Method in class org.oristool.util.Pair
 
floatValue() - Method in class org.oristool.math.OmegaBigDecimal
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.BinaryExpression
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.Brackets
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.Constant
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.Expression
Formats this expression.
format(FormatVisitor) - Method in class org.oristool.lello.ast.FunctionCall
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.UnaryExpression
 
format(FormatVisitor) - Method in class org.oristool.lello.ast.Variable
 
FormatException - Exception in org.oristool.lello.exception
Describes an exceptional event such as the attempt to choose an illegal name for an identifier.
FormatException() - Constructor for exception org.oristool.lello.exception.FormatException
 
FormatException(String) - Constructor for exception org.oristool.lello.exception.FormatException
 
FormatException(String, Throwable) - Constructor for exception org.oristool.lello.exception.FormatException
 
FormatException(Throwable) - Constructor for exception org.oristool.lello.exception.FormatException
 
FormatVisitor - Interface in org.oristool.lello.visitor
A Visitor interface used to format expressions; a concrete expression calls the appropriate method of the Visitor passing a reference to itself.
FoxGlynn - Class in org.oristool.models.gspn.chains
Computation of Poisson probabilities using Fox-Glynn algorithm.
from(String, PetriNet) - Static method in interface org.oristool.models.stpn.MarkingExpr
Creates a marking expression from a string.
from(DMatrixSparseCSC, DMatrixRMaj) - Static method in class org.oristool.models.gspn.chains.DTMCTransientIter
 
fromArray(double[][], double, Map<S, Integer>, S) - Static method in class org.oristool.models.stpn.TransientSolution
Prepares a new instance from a given array.
fromString(String) - Static method in class org.oristool.math.expression.Expolynomial
Builds an exponential from a string.
fromString(String) - Static method in class org.oristool.models.stpn.RewardRate
 
fromString(String) - Static method in class org.oristool.petrinet.MarkingCondition
Parses a marking condition from a string.
Function - Interface in org.oristool.math.function
Generic piecewise function interface.
FunctionCall - Class in org.oristool.lello.ast
Represents an expression consisting of a function call.
FunctionCall(String, List<Expression>) - Constructor for class org.oristool.lello.ast.FunctionCall
Initializes a new function call expression.

G

GEN - Class in org.oristool.math.function
Multidimensional PDF on a DBM zone support (non-piecewise).
GEN(DBMZone, Expolynomial) - Constructor for class org.oristool.math.function.GEN
Builds a new PDF with the given support and density function.
GEN(Function) - Constructor for class org.oristool.math.function.GEN
Builds a copy from a given function.
get(String) - Method in class org.oristool.lello.Bindings
Retrieves a value.
get(Variable, Variable) - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
Returns the enabling delay of a deterministic variable with respect to a general one.
getAgeVariables() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Returns the set of age variables.
getAlpha() - Method in class org.oristool.math.expression.MonomialTerm
 
getAtomicTerms() - Method in class org.oristool.math.expression.Exmonomial
Gets the variable atomic terms of the exmonomial.
getBooleanValue() - Method in class org.oristool.lello.Value
Retrieves the Java string contained in this BOOLEAN value; if this value is not a BOOLEAN an exception is thrown.
getBound(Variable, Variable) - Method in class org.oristool.math.domain.DBMZone
Returns the upper bound for the difference left-right between two variables, which is the constant c of a constraint left-right <= c.
getChild() - Method in class org.oristool.analyzer.Succession
 
getCoefficient(Variable, Variable) - Method in class org.oristool.math.domain.DBMZone
Returns the constant c for the constraint left-right <= c.
getCol() - Method in class org.oristool.lello.parse.Terminal
Retrieves the column number in the input file at which this terminal symbol was located.
getColumnStates() - Method in class org.oristool.models.stpn.TransientSolution
 
getConstant() - Method in class org.oristool.math.expression.Expolynomial
Returns the constant value of this expolynomial of throws an IllegalStateException exception if the expolynomial is not constant.
getConstantTerm() - Method in class org.oristool.math.expression.Exmonomial
Gets the constant multiplier of the term.
getContinuosVariablesDensity() - Method in class org.oristool.math.function.StateDensityFunction
Returns the PDF of continuous variables (i.e., not deterministic or synchronized).
getContinuousVariables() - Method in class org.oristool.math.function.StateDensityFunction
Returns the set of continuous variables.
getCurrent() - Method in class org.oristool.lello.parse.ListTerminalStream
 
getCurrent() - Method in interface org.oristool.lello.parse.TerminalStream
Retrieves the current symbol in the stream, without advancing the cursor.
getCurrentRunElapsedTime() - Method in class org.oristool.simulator.Sequencer
 
getCurrentRunFirings() - Method in class org.oristool.simulator.Sequencer
 
getCurrentRunNumber() - Method in class org.oristool.simulator.Sequencer
 
getCurrentTimeSample() - Method in class org.oristool.simulator.rewards.BasicReward
 
getCurrentTimeSample() - Method in class org.oristool.simulator.rewards.SymbolicPrefixReward
 
getCurrentTimeSample() - Method in class org.oristool.simulator.stpn.SteadyStateMarkingProbability
 
getCurrentTimeSample() - Method in class org.oristool.simulator.stpn.TransientMarkingConditionProbability
 
getCurrentTimeSample() - Method in class org.oristool.simulator.stpn.TransientMarkingProbability
 
getCurrentTimeSample() - Method in class org.oristool.simulator.stpn.TransitionAbsoluteFiringTime
 
getDelay() - Method in class org.oristool.math.function.Synchronization
 
getDensities() - Method in interface org.oristool.math.function.PartitionedFunction
 
getDensity() - Method in class org.oristool.math.function.EXP
 
getDensity() - Method in interface org.oristool.math.function.Function
 
getDensity() - Method in class org.oristool.math.function.GEN
 
getDeterministicValue(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the deterministic value of a given variable.
getDeterministicValues() - Method in class org.oristool.math.function.StateDensityFunction
Returns the set of deterministic variables and their values.
getDeterministicVariables() - Method in class org.oristool.math.function.StateDensityFunction
Returns the set of deterministic variables.
getDETInstance(Variable, BigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of a deterministic variable.
getDisabled() - Method in class org.oristool.models.pn.PetriStateFeature
 
getDistributed() - Method in class org.oristool.math.function.Synchronization
 
getDomain() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getDomain() - Method in class org.oristool.math.function.EXP
 
getDomain() - Method in interface org.oristool.math.function.Function
 
getDomain() - Method in class org.oristool.math.function.GEN
 
getDomain() - Method in class org.oristool.models.tpn.TimedStateFeature
 
getDomains() - Method in interface org.oristool.math.function.PartitionedFunction
 
getDomainsEFT() - Method in interface org.oristool.math.function.PartitionedFunction
Returns the minimum value across all subdomains.
getDomainsLFT() - Method in interface org.oristool.math.function.PartitionedFunction
Returns the maximum value across all subdomains.
getEFT() - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
getEnabled() - Method in class org.oristool.models.pn.PetriStateFeature
 
getEnabledEvents(M, State) - Method in interface org.oristool.analyzer.EnabledEventsBuilder
 
getEnabledEventsBuilder() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the builder for the events enabled in a state.
getEnabledEventsBuilder() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getEnabledEventsBuilder() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getEnabledEventsBuilder() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getEnabledEventsBuilder() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getEnabledTransitions(Marking) - Method in class org.oristool.petrinet.PetriNet
Returns the set of transitions enabled by a given marking.
getEnablingTimes() - Method in class org.oristool.models.stpn.trees.DeterministicEnablingState
 
getEnteringTimeDensity(StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Returns the entering time density of a given instance.
getEnteringTimeLowerBound(StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Returns the lower bound on the entering time for this transient state class.
getEnteringTimeUpperBound(StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Returns the upper bound on the entering time for this transient state class.
getEnumerationPolicy() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the policy selecting the next event to explore.
getEnumerationPolicy() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getEnumerationPolicy() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getEnumerationPolicy() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getEnumerationPolicy() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getEpsilon() - Method in class org.oristool.models.stpn.trees.TruncationPolicy
 
getEvent() - Method in class org.oristool.analyzer.Succession
 
getEventName() - Method in class org.oristool.analyzer.stop.EventNameStopCriterion
 
getExmonomials() - Method in class org.oristool.math.expression.Expolynomial
 
getExponentialRate() - Method in class org.oristool.math.expression.Expolynomial
The exponential rate of the single exponential term contained in this expolynomial.
getExpr() - Method in class org.oristool.lello.ast.Brackets
Retrieves the enclosed expression.
getExpr() - Method in class org.oristool.lello.ast.UnaryExpression
Retrieves the operand expression.
getEXPRate(Variable) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
getEXPRates() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
getExpressions() - Method in class org.oristool.lello.ast.Brackets
Retrieves the enclosed expressions, which are the components of the vector.
getEXPVariables() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
getFeature(Class<F>) - Method in class org.oristool.util.Featurizable
Returns the feature associated with this object for a given type.
getFeatures() - Method in class org.oristool.util.Featurizable
Returns the collection of features associated with this object.
getFirableTransitionSetBuilder() - Method in interface org.oristool.simulator.SimulatorComponentsFactory
 
getFirableTransitionSetBuilder() - Method in class org.oristool.simulator.stpn.STPNSimulatorComponentsFactory
 
getFiringVariables() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Returns the set of general, non-age variables.
getFunctions() - Method in interface org.oristool.math.function.Function
 
getFunctions() - Method in interface org.oristool.math.function.PartitionedFunction
 
getFunctions() - Method in class org.oristool.math.function.PartitionedGEN
 
getGlobalStopCriterion() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the criterion to arrest the entire graph enumeration.
getGlobalStopCriterion() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getGlobalStopCriterion() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getGlobalStopCriterion() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getGlobalStopCriterion() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getIncomingSuccessions(Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
Returns a copy of all incoming successions of a node.
getInhibitorArc(Place, Transition) - Method in class org.oristool.petrinet.PetriNet
Returns the existing inhibitor arc between a place and a transition.
getInhibitorArcs(Transition) - Method in class org.oristool.petrinet.PetriNet
Gets all the inhibitor arcs of a transition.
getInitialMarking() - Method in class org.oristool.simulator.Sequencer
 
getInitialRegeneration() - Method in class org.oristool.models.stpn.TransientSolution
Returns the first initial state of the analysis.
getInitialStateBuilder() - Method in interface org.oristool.simulator.SimulatorComponentsFactory
 
getInitialStateBuilder() - Method in class org.oristool.simulator.stpn.STPNSimulatorComponentsFactory
 
getIntegerValue() - Method in class org.oristool.lello.Value
Retrieves the Java string contained in this INTEGER value; if this value is not a INTEGER an exception is thrown.
getKind() - Method in class org.oristool.lello.parse.Terminal
Retrieves the kind of the terminal symbol.
getLambda() - Method in class org.oristool.math.expression.ExponentialTerm
 
getLambda() - Method in class org.oristool.math.function.Erlang
Returns the rate.
getLambda() - Method in class org.oristool.math.function.EXP
 
getLastSuccession() - Method in class org.oristool.simulator.Sequencer
 
getLeft() - Method in class org.oristool.lello.ast.BinaryExpression
Retrieves the left hand side expression.
getLevel() - Method in class org.oristool.models.ValidationMessageCollector.Message
 
getLFT() - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
getLocalStopCriterion() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the criterion to arrest the enumeration on a specific node.
getLocalStopCriterion() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getLocalStopCriterion() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getLocalStopCriterion() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getLocalStopCriterion() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getLowestDeterministicValue() - Method in class org.oristool.math.function.StateDensityFunction
Returns the minimum value of deterministic variables.
getLowestDeterministicValue(Set<Variable>) - Method in class org.oristool.math.function.StateDensityFunction
Returns the minimum value of deterministic variables among a given set.
getLowestSynchronizedDelayWrt(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the minimum delay of variables synchronized with the input one.
getLowestSynchronizedWrt(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the synchronized variable with minimum delay with respect to a given distributed one.
getMarginalDensity(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the marginal density of a variable.
getMarking() - Method in class org.oristool.models.pn.PetriStateFeature
 
getMarking() - Method in class org.oristool.models.stpn.trees.DeterministicEnablingState
 
getMarkingCondition() - Method in class org.oristool.petrinet.EnablingFunction
Returns the marking condition.
getMarkingMatcherInstance(Marking...) - Static method in class org.oristool.petrinet.MarkingCondition
Builds a marking condition that matches only one of the input markings.
getMarkings() - Method in class org.oristool.simulator.TimeSeriesRewardResult
 
getMaxBound(Set<Variable>, Set<Variable>) - Method in class org.oristool.math.function.StateDensityFunction
Returns the maximum upper bound on the difference left - right between variables in two sets.
getMaxBound(Variable, Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the maximum upper bound on the difference left - right between two variables.
getMaxVar() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getMaxVarAdvance() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getMessages() - Method in class org.oristool.models.ValidationMessageCollector
 
getMinBound(Set<Variable>, Set<Variable>) - Method in class org.oristool.math.function.StateDensityFunction
Returns the minimum upper bound on the difference left - right between variables in two sets.
getMinBound(Variable, Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the minimum upper bound on the difference left - right between two variables.
getMinLFT(Set<Variable>) - Method in class org.oristool.math.domain.DBMZone
Returns the minimum value that any of the input variables can take inside this zone.
getMinVar() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getMinVarDelay() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getMultiplicity() - Method in class org.oristool.petrinet.InhibitorArc
Returns the multiplicity of the inhibitor arc.
getMultiplicity() - Method in class org.oristool.petrinet.Postcondition
Returns the multiplicity of this postcondition.
getMultiplicity() - Method in class org.oristool.petrinet.Precondition
Returns the multiplicity of this precondition.
getName() - Method in interface org.oristool.analyzer.Event
 
getName() - Method in class org.oristool.lello.ast.FunctionCall
Retrieves the name of the function being called.
getName() - Method in class org.oristool.lello.ast.Variable
Retrieves the name of the variable being referenced.
getName() - Method in class org.oristool.petrinet.Place
Returns the name of this place.
getName() - Method in class org.oristool.petrinet.Transition
Returns the name of this transition as the event name.
getNewlyEnabled() - Method in class org.oristool.models.pn.PetriStateFeature
 
getNode(State) - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getNodes() - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getNonEmptyPlacesNames() - Method in class org.oristool.petrinet.Marking
Returns the names of places with nonzero token counts.
getNullDelayVariables(Variable) - Method in class org.oristool.math.domain.DBMZone
Finds the variables synchronized with the input one.
getNullDelayVariables(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns the deterministic, synchronized or distributed variables with zero delay with respect to an input one.
getNumericValueAsInteger() - Method in class org.oristool.lello.Value
Casts the numeric value of this object to integer.
getNumericValueAsReal() - Method in class org.oristool.lello.Value
Casts the numeric value of this object to real.
getOp() - Method in class org.oristool.lello.ast.BinaryExpression
Retrieves the binary operator.
getOp() - Method in class org.oristool.lello.ast.UnaryExpression
Retrieves the unary operator.
getOutgoingSuccessions(Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
Returns a copy of all outgoing successions of a node.
getParameters() - Method in class org.oristool.lello.ast.FunctionCall
Retrieves the argument list of the call.
getParent() - Method in class org.oristool.analyzer.Succession
 
getPartitionedGen() - Method in class org.oristool.math.function.StateDensityFunction
Returns the PDF of continuous variables.
getPersistent() - Method in class org.oristool.models.pn.PetriStateFeature
 
getPlace() - Method in class org.oristool.petrinet.InhibitorArc
Returns the inhibitor place.
getPlace() - Method in class org.oristool.petrinet.Postcondition
Returns the output place of this postcondition.
getPlace() - Method in class org.oristool.petrinet.Precondition
Returns the input place of this precondition.
getPlace(String) - Method in class org.oristool.petrinet.PetriNet
Gets an existing place with the given name.
getPlaceNames() - Method in class org.oristool.petrinet.PetriNet
Returns the names of the places in the Petri net.
getPlaces() - Method in class org.oristool.petrinet.PetriNet
Returns the places of the Petri net.
getPostcondition(Transition, Place) - Method in class org.oristool.petrinet.PetriNet
Returns the existing postcondition between a place and a transition.
getPostconditions(Transition) - Method in class org.oristool.petrinet.PetriNet
Gets all the postconditions of a transition.
getPostProcessor() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the post-processor used after computing a successor state.
getPostProcessor() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getPostProcessor() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getPostProcessor() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getPostProcessor() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getPrecondition(Place, Transition) - Method in class org.oristool.petrinet.PetriNet
Returns the existing precondition between a place and a transition.
getPreconditions(Transition) - Method in class org.oristool.petrinet.PetriNet
Gets all the preconditions of a transition.
getPredecessors(Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getPreProcessor() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the pre-processor used before computing the enabled events.
getPreProcessor() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getPreProcessor() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getPreProcessor() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getPreProcessor() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getProbability() - Method in class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
getProjectedVar() - Method in class org.oristool.math.domain.DBMZone.Subzone
 
getReachingProbability() - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
 
getRealValue() - Method in class org.oristool.lello.Value
Retrieves the Java string contained in this REAL value; if this value is not a REAL an exception is thrown.
getRegenerations() - Method in class org.oristool.models.stpn.TransientSolution
 
getResetSet() - Method in class org.oristool.models.pn.ResetSet
 
getResult() - Method in class org.oristool.simulator.rewards.NumericRewardResult
 
getResult() - Method in class org.oristool.simulator.rewards.RewardEvaluator
 
getReward() - Method in class org.oristool.simulator.rewards.RewardEvaluator
 
getRewardTime() - Method in class org.oristool.simulator.rewards.BasicReward
 
getRewardTime() - Method in interface org.oristool.simulator.rewards.Reward
 
getRight() - Method in class org.oristool.lello.ast.BinaryExpression
Retrieves the right hand side expression.
getRoot() - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getRow() - Method in class org.oristool.lello.parse.Terminal
Retrieves the row number in the input file at which this terminal symbol was located.
getRuns() - Method in class org.oristool.simulator.rewards.RewardEvaluator
 
getSample() - Method in class org.oristool.simulator.samplers.ErlangSampler
 
getSample() - Method in class org.oristool.simulator.samplers.ExponentialSampler
 
getSample() - Method in class org.oristool.simulator.samplers.MetropolisHastings
 
getSample() - Method in class org.oristool.simulator.samplers.PseudoSampler
 
getSample() - Method in interface org.oristool.simulator.samplers.Sampler
Returns the next sample.
getSample() - Method in class org.oristool.simulator.samplers.UniformSampler
 
getSample() - Method in class org.oristool.simulator.stpn.SamplerFeature
 
getSamples() - Method in class org.oristool.simulator.rewards.BasicReward
 
getSamplesNumber() - Method in class org.oristool.models.stpn.TransientSolution
 
getSequencer() - Method in class org.oristool.simulator.rewards.BasicReward
 
getSequencer() - Method in interface org.oristool.simulator.rewards.Reward
 
getShape() - Method in class org.oristool.math.function.Erlang
Returns the shape parameter.
getSojournTime(Succession) - Method in class org.oristool.simulator.rewards.ContinuousRewardTime
 
getSojournTime(Succession) - Method in class org.oristool.simulator.rewards.DiscreteRewardTime
 
getSojournTime(Succession) - Method in interface org.oristool.simulator.rewards.RewardTime
 
getSolution() - Method in class org.oristool.models.stpn.TransientSolution
 
getState(Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getStateDensity() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
getStates() - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getSteadyState() - Method in class org.oristool.models.stpn.SteadyStateSolution
 
getStep() - Method in class org.oristool.models.stpn.TransientSolution
 
getStringValue() - Method in class org.oristool.lello.Value
Retrieves the Java string contained in this STRING value; if this value is not a STRING an exception is thrown.
getSubMarkingMatcherInstance(Marking) - Static method in class org.oristool.petrinet.MarkingCondition
Builds a marking condition that matches those markings that include the same token counts for a subset of places.
getSubZonesInducted(GEN) - Method in class org.oristool.math.function.GEN
Computes the subzone PDFs induced by the support of a given PDF.
getSuccessionEvaluator() - Method in interface org.oristool.analyzer.AnalyzerComponentsFactory
Returns the builder for the successor states after an event.
getSuccessionEvaluator() - Method in class org.oristool.models.pn.PetriComponentsFactory
 
getSuccessionEvaluator() - Method in class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
 
getSuccessionEvaluator() - Method in class org.oristool.models.stpn.trees.StochasticComponentsFactory
 
getSuccessionEvaluator() - Method in class org.oristool.models.tpn.TimedComponentsFactory
 
getSuccessions() - Method in class org.oristool.analyzer.graph.SuccessionGraph
Returns a copy of all successions in the graph.
getSuccessions(Node, Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getSuccessorEvaluator() - Method in interface org.oristool.simulator.SimulatorComponentsFactory
 
getSuccessorEvaluator() - Method in class org.oristool.simulator.stpn.STPNSimulatorComponentsFactory
 
getSuccessors(Node) - Method in class org.oristool.analyzer.graph.SuccessionGraph
 
getSynchDelaysWrt(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns all the variables synchronized with a given one (and their delays).
getSynchronization(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Returns synchronization information of a variable.
getSynchronizedVariables() - Method in class org.oristool.math.function.StateDensityFunction
Returns the set of synchronized variables.
getTauAgeLimit() - Method in class org.oristool.models.stpn.trees.TruncationPolicy
 
getText() - Method in class org.oristool.models.ValidationMessageCollector.Message
 
getTimeLimit() - Method in class org.oristool.models.stpn.TransientSolution
 
getTimeSeries(Marking) - Method in class org.oristool.simulator.TimeSeriesRewardResult
 
getTimeStep() - Method in class org.oristool.simulator.rewards.ContinuousRewardTime
 
getTimeStep() - Method in class org.oristool.simulator.rewards.DiscreteRewardTime
 
getTimeStep() - Method in interface org.oristool.simulator.rewards.RewardTime
 
getTimeStep() - Method in class org.oristool.simulator.TimeSeriesRewardResult
 
getTimeToFire(Transition) - Method in class org.oristool.simulator.TimedSimulatorStateFeature
 
getTimeUpperBound(StochasticStateFeature) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
After timeUpperBound the probability of being in this class is zero.
getToken() - Method in class org.oristool.lello.parse.Terminal
Retrieves the token of the terminal symbol.
getTokens(String) - Method in class org.oristool.petrinet.Marking
Returns the number of tokens of a place from its string name.
getTokens(Place) - Method in class org.oristool.petrinet.Marking
Returns the number of tokens in a place.
getTotalExpRate() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Returns the sum of rates of all exponential variables.
getTotalExpRate(Set<Variable>) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
Returns the sum of rates of a subset of exponential variables.
getTransition() - Method in class org.oristool.petrinet.InhibitorArc
Returns the target transition.
getTransition() - Method in class org.oristool.petrinet.Postcondition
Returns the target transition of this postcondition.
getTransition() - Method in class org.oristool.petrinet.Precondition
Returns the target transition of this precondition.
getTransition(String) - Method in class org.oristool.petrinet.PetriNet
Gets an existing transition with the given name.
getTransitionNames() - Method in class org.oristool.petrinet.PetriNet
Returns the names of the transitions in the Petri net.
getTransitions() - Method in class org.oristool.petrinet.PetriNet
Returns the transitions of the Petri net.
getType() - Method in class org.oristool.lello.ast.UnaryExpression
Retrieves the operator version.
getType() - Method in class org.oristool.lello.Value
Returns the type of this value.
GetTypeName(Value) - Static method in class org.oristool.lello.ValueFuncs
Retrieves the type name of a value.
getValue() - Method in class org.oristool.lello.ast.Constant
Retrieves the value of this constant.
getValue() - Method in class org.oristool.models.stpn.trees.Regeneration
 
getVariable() - Method in interface org.oristool.math.expression.AtomicTerm
Returns the variable associated with the atomic term.
getVariable() - Method in class org.oristool.math.expression.ExponentialTerm
 
getVariable() - Method in class org.oristool.math.expression.MonomialTerm
 
getVariable() - Method in class org.oristool.math.function.Erlang
Returns the variable name.
getVariable() - Method in class org.oristool.math.function.EXP
Returns the variable of this PDF.
getVariables() - Method in class org.oristool.math.domain.DBMZone
 
getVariables() - Method in class org.oristool.math.expression.Exmonomial
Collects the variable names of the exmonomial.
getVariables() - Method in class org.oristool.math.expression.Expolynomial
Returns all the variables used in this expolynomial.
getVariables() - Method in class org.oristool.math.function.PartitionedGEN
Returns the list of variables of this PDF.
getVariables() - Method in class org.oristool.math.function.StateDensityFunction
Returns the set of variables (deterministic, synchronized, continuous).
getWrapperType(Class<?>) - Static method in class org.oristool.lello.JavaInterop
Returns a class which can be used to represent the given class or primitive type.
greedyPolicy(BigDecimal, BigDecimal) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the time bound for the analysis (similarly to RegTransient.Builder.timeBound(BigDecimal)) and a greedy policy controlling the enumeration of nodes.
greedyPolicy(BigDecimal, BigDecimal) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the time bound for the analysis (similarly to TreeTransient.Builder.timeBound(BigDecimal)) and a greedy policy controlling the enumeration of nodes.
GSPNReachability - Class in org.oristool.models.gspn.reachability
Computes the graph of tangible markings reachable in a GSPN.
GSPNReachability.Builder - Class in org.oristool.models.gspn.reachability
 
GSPNSteadyState - Class in org.oristool.models.gspn
Computes the stationary distribution for the underlying CTMC of a GSPN.
GSPNSteadyState.Builder - Class in org.oristool.models.gspn
 
GSPNTransient - Class in org.oristool.models.gspn
Computes transient probabilities for the underlying CTMC of a GSPN.
GSPNTransient.Builder - Class in org.oristool.models.gspn
 
gt(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements greater than comparison.
gte(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements greater than or equal comparison.

H

hasFeature(Class<F>) - Method in class org.oristool.util.Featurizable
Returns true if this object has a feature with the given type.
hashCode() - Method in class org.oristool.analyzer.state.State
 
hashCode() - Method in class org.oristool.lello.Value
 
hashCode() - Method in class org.oristool.math.domain.DBMZone
 
hashCode() - Method in class org.oristool.math.expression.ExponentialTerm
 
hashCode() - Method in class org.oristool.math.expression.MonomialTerm
 
hashCode() - Method in class org.oristool.math.expression.Variable
 
hashCode() - Method in class org.oristool.math.function.EXP
 
hashCode() - Method in class org.oristool.math.function.GEN
 
hashCode() - Method in class org.oristool.math.function.PartitionedGEN
 
hashCode() - Method in class org.oristool.math.function.StateDensityFunction
 
hashCode() - Method in class org.oristool.math.function.Synchronization
 
hashCode() - Method in class org.oristool.math.OmegaBigDecimal
Returns the hash code for this OmegaBigDecimal.
hashCode() - Method in class org.oristool.models.gspn.reachability.FiringProbability
 
hashCode() - Method in class org.oristool.models.gspn.reachability.SPNState
 
hashCode() - Method in class org.oristool.models.pn.PetriStateFeature
 
hashCode() - Method in class org.oristool.models.pn.Priority
 
hashCode() - Method in class org.oristool.models.stpn.MarkingExpr.ConstantExpr
 
hashCode() - Method in class org.oristool.models.stpn.onegen.OneGenState
 
hashCode() - Method in class org.oristool.models.stpn.trees.DeterministicEnablingState
 
hashCode() - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
 
hashCode() - Method in class org.oristool.models.stpn.trees.Regeneration
 
hashCode() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
hashCode() - Method in class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
hashCode() - Method in class org.oristool.models.tpn.TimedStateFeature
 
hashCode() - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
hashCode() - Method in class org.oristool.models.ValidationMessageCollector.Message
 
hashCode() - Method in class org.oristool.petrinet.EnablingFunction
 
hashCode() - Method in class org.oristool.petrinet.Marking
 
hashCode() - Method in class org.oristool.util.Pair
 
hasNext() - Method in class org.oristool.lello.parse.ListTerminalStream
 
hasNext() - Method in interface org.oristool.lello.parse.TerminalStream
Tells whether there is another symbol in the stream or not.
hasPlace(Place) - Method in class org.oristool.models.pn.PlaceFlusher
 

I

id() - Method in class org.oristool.analyzer.graph.Node
Returns the unique ID of this node.
IDENTIFIER - org.oristool.lello.parse.TerminalKind
An identifier such as a variable name of function name.
Identity(Value) - Static method in class org.oristool.lello.ValueFuncs
Returns a value as it is.
If(boolean, Value, Value) - Static method in class org.oristool.lello.ValueFuncs
Returns one of two values depending on a boolean condition.
imposeBound(Variable, Set<Variable>, OmegaBigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Imposes the bound leftVar - rightVar <= bound on the support for all pairs of left/right variables, keeping only subzones with nonzero measure.
imposeBound(Variable, Variable, OmegaBigDecimal) - Method in class org.oristool.math.domain.DBMZone
Imposes an upper bound for the difference left-right.
imposeBound(Variable, Variable, OmegaBigDecimal) - Method in class org.oristool.math.function.StateDensityFunction
Imposes the bound leftVar - rightVar <= bound on the support, keeping only subzones with nonzero measure.
imposeVarLower(Variable, Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Imposes the bound var-x <= 0 for each x in others.
imposeVarLowerAndNormalize(Variable, Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Imposes the bound var-x <= 0 for each x in others.
imposeZone(DBMZone) - Method in class org.oristool.math.function.StateDensityFunction
Intersects the support with the input zone, keeping only subzones with nonzero measure.
includeAge() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns whether or not this analysis adds Variable.AGE to the set of enabled variables.
includeAge(boolean) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets whether or not this analysis should add Variable.AGE to the set of enabled variables.
InhibitorArc - Class in org.oristool.petrinet
An inhibitor arc connecting a place to a transition.
InhibitorArcFeature - Interface in org.oristool.petrinet
Generic feature of an InhibitorArc.
InitialPetriStateBuilder - Class in org.oristool.models.pn
State builder for Petri nets.
InitialPetriStateBuilder() - Constructor for class org.oristool.models.pn.InitialPetriStateBuilder
 
initialProbs() - Method in class org.oristool.models.gspn.chains.DTMC
 
initialStates() - Method in class org.oristool.models.gspn.chains.DTMC
 
InitialTimedStateBuilder - Class in org.oristool.models.tpn
State builder for time Petri nets.
InitialTimedStateBuilder(boolean, boolean) - Constructor for class org.oristool.models.tpn.InitialTimedStateBuilder
Creates a state builder for time Petri nets.
INSTANCE - org.oristool.analyzer.log.NoOpLogger
 
INSTANCE - org.oristool.analyzer.log.NoOpMonitor
 
INSTANCE - org.oristool.analyzer.NoOpProcessor
 
INSTANCE - org.oristool.analyzer.state.LocalStop
 
INTEGER - org.oristool.lello.Value.Type
 
integrate(Variable) - Method in class org.oristool.math.expression.Exmonomial
Computes the primitive function of this exmonomial.
integrate(Variable) - Method in class org.oristool.math.expression.Expolynomial
Computes the primitive function of this expolynomial.
integrate(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Integrates this exmonomial over an interval.
integrate(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Integrates this expolynomial over an interval.
integrateOverDomain() - Method in class org.oristool.math.function.GEN
Integrates the PDF over its support.
integrateOverDomain() - Method in class org.oristool.math.function.PartitionedGEN
Integrates this PDF over the support.
interruptedExecution() - Method in class org.oristool.analyzer.stop.MonitorStopCriterion
 
interruptRequested() - Method in interface org.oristool.analyzer.log.AnalysisMonitor
Notifies an interruption request from the user.
interruptRequested() - Method in enum org.oristool.analyzer.log.NoOpMonitor
 
intersect(DBMZone) - Method in class org.oristool.math.domain.DBMZone
Intersects this zone with the input one.
Interval - Interface in org.oristool.models.gspn.chains
An integer interval.
intValue() - Method in class org.oristool.math.OmegaBigDecimal
 
ios(GEN, DBMZone.Subzone, boolean) - Static method in class org.oristool.math.Calculus
 
isAbsorbing() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
isBoolean() - Method in class org.oristool.lello.Value
Returns whether this value is of type BOOLEAN or not.
isBottom(S) - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Checks whether a node is in some BSCC.
isBound(String) - Method in class org.oristool.lello.Bindings
Tells if a given variable is bound to a value or not.
isConstant() - Method in class org.oristool.math.expression.Expolynomial
Checks if this expolynomial is constant.
isDeterministic() - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
isEmpty() - Method in interface org.oristool.analyzer.policy.EnumerationPolicy
Checks whether the set of states to explore is empty.
isEmpty() - Method in class org.oristool.analyzer.policy.FIFOPolicy
 
isEmpty() - Method in class org.oristool.analyzer.policy.LIFOPolicy
 
isEmpty() - Method in class org.oristool.analyzer.policy.PriorityPolicy
 
isEmpty() - Method in class org.oristool.math.domain.DBMZone
Checks if this zone has unsatisfiable constraints.
isEmpty() - Method in class org.oristool.models.stpn.trees.TruncationPolicy
 
isEnabled(Transition, Marking) - Method in class org.oristool.petrinet.PetriNet
Checks if a transition is enabled by a marking.
isEXP() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Checks if this feature represents an exponential transition.
isExponential() - Method in class org.oristool.math.expression.Expolynomial
Checks if this expolynomial contains a single exponential term.
isFinite() - Method in class org.oristool.math.OmegaBigDecimal
 
isFullDimensional() - Method in class org.oristool.math.domain.DBMZone
Checks if this zone is fully-dimensional in its variable space.
isIMM() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Checks if this feature represents an immediate transition.
isInteger() - Method in class org.oristool.lello.Value
Returns whether this value is of type INTEGER or not.
isLeftNeighborhood() - Method in class org.oristool.math.OmegaBigDecimal
 
isNil() - Method in class org.oristool.lello.Value
Returns whether this value is nil or not.
isNumeric() - Method in class org.oristool.lello.Value
Returns whether this value is numeric, which means either INTEGER or REAL.
isOne() - Method in class org.oristool.lello.ast.BinaryExpression
 
isOne() - Method in class org.oristool.lello.ast.Brackets
 
isOne() - Method in class org.oristool.lello.ast.Constant
 
isOne() - Method in class org.oristool.lello.ast.Expression
Checks whether this expression is equal to 1 (with respect to the EPSILON tolerance).
isOne() - Method in class org.oristool.lello.ast.FunctionCall
 
isOne() - Method in class org.oristool.lello.ast.UnaryExpression
 
isOne() - Method in class org.oristool.lello.ast.Variable
 
isOne() - Method in interface org.oristool.math.expression.AtomicTerm
Checks if this term the constant 1.
isOne() - Method in class org.oristool.math.expression.ExponentialTerm
 
isOne() - Method in class org.oristool.math.expression.MonomialTerm
 
isOneNumber(double) - Static method in class org.oristool.lello.ast.Expression
Checks whether a double is equal to 1 (with respect to the EPSILON tolerance).
isOneNumber(Value) - Static method in class org.oristool.lello.ast.Expression
Checks whether a value is equal to 1 (with respect to the EPSILON tolerance).
isReal() - Method in class org.oristool.lello.Value
Returns whether this value is of type REAL or not.
isRightNeighborhood() - Method in class org.oristool.math.OmegaBigDecimal
 
isSameForm(Exmonomial) - Method in class org.oristool.math.expression.Exmonomial
Checks whether the input exmonomial has the same set of terms.
isString() - Method in class org.oristool.lello.Value
Returns whether this value is of type STRING or not.
isSyncronized(Variable, Variable) - Method in class org.oristool.math.domain.DBMZone
 
isTransient(S) - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Checks whether a node is in the transient set.
isValid(String) - Static method in class org.oristool.math.expression.Expolynomial
Checks if the input string is a valid expolynomial expression.
isValid(BigDecimal) - Method in class org.oristool.simulator.TimeSeriesRewardResult
Checks that, for each time point, the sum of probabilities adds to 1 (up to the given error).
isVanishing() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
isZero() - Method in class org.oristool.lello.ast.BinaryExpression
 
isZero() - Method in class org.oristool.lello.ast.Brackets
 
isZero() - Method in class org.oristool.lello.ast.Constant
 
isZero() - Method in class org.oristool.lello.ast.Expression
Checks whether this expression is equal to 0 (with respect to the EPSILON tolerance).
isZero() - Method in class org.oristool.lello.ast.FunctionCall
 
isZero() - Method in class org.oristool.lello.ast.UnaryExpression
 
isZero() - Method in class org.oristool.lello.ast.Variable
 
isZeroNumber(double) - Static method in class org.oristool.lello.ast.Expression
Checks whether a double is equal to 0 (with respect to the EPSILON tolerance).
isZeroNumber(Value) - Static method in class org.oristool.lello.ast.Expression
Checks whether a value is equal to 0 (with respect to the EPSILON tolerance).
IterationsNumberStopCriterion - Class in org.oristool.analyzer.stop
A stop criterion that stops the analysis after the given number of nodes has been added.
IterationsNumberStopCriterion(int) - Constructor for class org.oristool.analyzer.stop.IterationsNumberStopCriterion
 

J

JavaInterop - Class in org.oristool.lello
Marshals and unmarshals data types and function calls between Lello and Java.
JavaInterop() - Constructor for class org.oristool.lello.JavaInterop
 
JavaInteropException - Exception in org.oristool.lello.exception
Describes an exceptional event occurred while trying to marshal and unmarshal data types and function calls between Lello and Java.
JavaInteropException() - Constructor for exception org.oristool.lello.exception.JavaInteropException
 
JavaInteropException(String) - Constructor for exception org.oristool.lello.exception.JavaInteropException
 
JavaInteropException(String, Throwable) - Constructor for exception org.oristool.lello.exception.JavaInteropException
 
JavaInteropException(Throwable) - Constructor for exception org.oristool.lello.exception.JavaInteropException
 

L

leftPoint() - Method in class org.oristool.models.gspn.chains.FoxGlynn
Returns the point used to truncate the left tail of the Poisson distribution.
leftPoint() - Method in interface org.oristool.models.gspn.chains.Interval
Returns the left point of the interval.
LelloLexer - Class in org.oristool.lello.parse
Lello lexical analyzer (lexer).
LelloLexer() - Constructor for class org.oristool.lello.parse.LelloLexer
Initializes Lello lexical analyzer.
LelloParser - Class in org.oristool.lello.parse
Lello syntax analyzer (parser).
LelloParser() - Constructor for class org.oristool.lello.parse.LelloParser
 
lex(String) - Method in class org.oristool.lello.parse.LelloLexer
Analyzes a string.
LIFOPolicy - Class in org.oristool.analyzer.policy
LIFO enumeration policy.
LIFOPolicy() - Constructor for class org.oristool.analyzer.policy.LIFOPolicy
 
ListTerminalStream - Class in org.oristool.lello.parse
An list-based implementation of TerminalStream.
ListTerminalStream(List<Terminal>) - Constructor for class org.oristool.lello.parse.ListTerminalStream
Initializes a stream of symbols based on a list; the symbols will be received from the stream in the same order they appear in the list.
LocalStop - Enum in org.oristool.analyzer.state
State feature tagging states where a local stop criterion was applied.
log(String) - Method in interface org.oristool.analyzer.log.AnalysisLogger
 
log(String) - Method in enum org.oristool.analyzer.log.NoOpLogger
 
log(String) - Method in class org.oristool.analyzer.log.PrintStreamLogger
 
logger() - Method in class org.oristool.models.gspn.chains.CTMCStationary
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.gspn.chains.CTMCTransient
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.gspn.chains.DTMCStationary
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.gspn.GSPNSteadyState
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.gspn.reachability.GSPNReachability
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.stpn.steady.RegSteadyState
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the logger used by this analysis.
logger() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.chains.CTMCStationary.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.chains.CTMCTransient.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.chains.DTMCStationary.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.gspn.reachability.GSPNReachability.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.stpn.steady.RegSteadyState.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the logger used by this analysis.
logger(AnalysisLogger) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets the logger used by this analysis.
longValue() - Method in class org.oristool.math.OmegaBigDecimal
 
lt(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements less than comparison.
lte(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements less than or equal comparison.

M

mapValues() - Method in class org.oristool.lello.Bindings
Retrieves all the name/value mappings.
marginalizeVariable(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Removes a variable from this PDF.
Marking - Class in org.oristool.petrinet
A marking, assigning a token count to each place of a Petri net.
Marking() - Constructor for class org.oristool.petrinet.Marking
Builds an empty marking.
Marking(Marking) - Constructor for class org.oristool.petrinet.Marking
Builds the copy of a marking.
MarkingCondition - Class in org.oristool.petrinet
A predicate on token counts.
MarkingCondition() - Constructor for class org.oristool.petrinet.MarkingCondition
 
MarkingConditionStopCriterion - Class in org.oristool.models.pn
Stop criterion based on a marking condition.
MarkingConditionStopCriterion(String) - Constructor for class org.oristool.models.pn.MarkingConditionStopCriterion
 
MarkingConditionStopCriterion(MarkingCondition) - Constructor for class org.oristool.models.pn.MarkingConditionStopCriterion
 
MarkingExpr - Interface in org.oristool.models.stpn
A function from Marking to Double.
MarkingExpr.ConstantExpr - Class in org.oristool.models.stpn
 
MarkingExpr.LelloExpr - Class in org.oristool.models.stpn
 
MarkingUpdater - Interface in org.oristool.models.pn
Function updating a Marking after the firing of a transition.
markRegenerations() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns whether or not this analysis adds the Regeneration property to states.
markRegenerations(boolean) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets whether or not this analysis should add the Regeneration property to states.
mathContext - Static variable in class org.oristool.math.expression.Expolynomial
 
MathUtil - Class in org.oristool.math.expression
Mathematical calculations.
MathUtil() - Constructor for class org.oristool.math.expression.MathUtil
 
max(List<Value>) - Static method in class org.oristool.lello.ValueFuncs
Finds the maximum of a list of values.
max(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
Returns the maximum of this OmegaBigDecimal and val.
maxPriority(Collection<Transition>) - Static method in class org.oristool.models.pn.Priority
Finds the subset of transitions with maximum priority.
measure() - Method in class org.oristool.math.function.StateDensityFunction
Returns the integral of this PDF on the support.
Message(ValidationMessageCollector.Level, String) - Constructor for class org.oristool.models.ValidationMessageCollector.Message
 
MetropolisHastings - Class in org.oristool.simulator.samplers
Sampler for general PDFs using the Metropolis-Hastings algorithm.
MetropolisHastings(Function) - Constructor for class org.oristool.simulator.samplers.MetropolisHastings
Builds a sampler for the given function.
min(List<Value>) - Static method in class org.oristool.lello.ValueFuncs
Finds the minimum of a list of values.
min(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
Returns the minimum of this OmegaBigDecimal and val.
mod(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements modulus (also floating point modulus).
modifyStates(UnaryOperator<State>) - Method in class org.oristool.analyzer.graph.SuccessionGraph
Modifies this graph by applying a function to each state.
monitor() - Method in class org.oristool.models.gspn.chains.CTMCStationary
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.gspn.chains.CTMCTransient
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.gspn.chains.DTMCStationary
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.gspn.GSPNSteadyState
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.gspn.reachability.GSPNReachability
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.stpn.steady.RegSteadyState
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the monitor used by this analysis.
monitor() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.chains.CTMCStationary.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.chains.CTMCTransient.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.chains.DTMCStationary.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.gspn.reachability.GSPNReachability.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.stpn.steady.RegSteadyState.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the monitor used by this analysis.
monitor(AnalysisMonitor) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets the monitor used by this analysis.
MonitorStopCriterion - Class in org.oristool.analyzer.stop
A stop criterion controlled by an external AnalysisMonitor.
MonitorStopCriterion(AnalysisMonitor) - Constructor for class org.oristool.analyzer.stop.MonitorStopCriterion
 
MonomialTerm - Class in org.oristool.math.expression
An atomic term of the form x^alpha.
MonomialTerm(Variable, int) - Constructor for class org.oristool.math.expression.MonomialTerm
Builds an instance for a given variable and exponent.
moveNext() - Method in class org.oristool.lello.parse.ListTerminalStream
 
moveNext() - Method in interface org.oristool.lello.parse.TerminalStream
Advances the cursor to the next symbol in the stream.
mul(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements multiplication.
multiply(BigDecimal) - Method in class org.oristool.math.expression.Expolynomial
Multiplies by a constant.
multiply(AtomicTerm) - Method in interface org.oristool.math.expression.AtomicTerm
Multiplies with another term.
multiply(AtomicTerm) - Method in class org.oristool.math.expression.ExponentialTerm
 
multiply(AtomicTerm) - Method in class org.oristool.math.expression.MonomialTerm
 
multiply(Exmonomial) - Method in class org.oristool.math.expression.Exmonomial
Multiplies this term by an input exmonomial.
multiply(Expolynomial) - Method in class org.oristool.math.expression.Expolynomial
Multiplies by an expolynomial.
multiply(OmegaBigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Multiplies this exmonomial by a constant.
multiply(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
Returns an OmegaBigDecimal whose value is (this × multiplicand).

N

neg(Value) - Static method in class org.oristool.lello.ValueOperations
Implements unary minus.
negate() - Method in class org.oristool.math.OmegaBigDecimal
Returns the opposite of this number.
NEGATIVE_INFINITY - Static variable in class org.oristool.math.OmegaBigDecimal
 
neq(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements inequality comparison.
newConstantInstance(OmegaBigDecimal) - Static method in class org.oristool.math.expression.Expolynomial
Builds a new instance equal to a given constant.
newDeterministic(BigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of a deterministic variable.
newDeterministicInstance(String) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with deterministic timer.
newDeterministicInstance(BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with deterministic timer.
newDeterministicInstance(BigDecimal, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with deterministic timer.
newDeterministicInstance(BigDecimal, MarkingExpr, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with deterministic timer.
newErlangInstance(int, String) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with Erlang distributed timer.
newErlangInstance(int, BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with Erlang distributed timer.
newErlangInstance(int, BigDecimal, MarkingExpr, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with Erlang distributed timer.
newExpolynomial(String, OmegaBigDecimal, OmegaBigDecimal) - Static method in class org.oristool.math.function.GEN
Builds a PDF from an input string.
newExpolynomial(String, OmegaBigDecimal, OmegaBigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition where the timer distribution is an expolynomial.
newExponentialInstance(String) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with exponentially distributed timer.
newExponentialInstance(BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with exponentially distributed timer.
newExponentialInstance(BigDecimal, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.
newExponentialInstance(BigDecimal, MarkingExpr, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with exponentially distributed timer and variable rate.
newHyperExp(List<BigDecimal>, List<BigDecimal>) - Static method in class org.oristool.math.function.GEN
Builds the PDF of an hyper-exponential variable.
newHyperExp(List<BigDecimal>, List<BigDecimal>) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition where the timer distribution is hyper-exponential (mixture of exponentials).
newHypoExp(BigDecimal, BigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of an hypo-exponential variable.
newHypoExp(BigDecimal, BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition where the timer distribution is hypo-exponential (sum of exponentials).
NewlyEnablingEvaluator - Class in org.oristool.models.stpn.trees
Detector for standard regenerations.
NewlyEnablingEvaluator() - Constructor for class org.oristool.models.stpn.trees.NewlyEnablingEvaluator
 
NewlyEnablingStateBuilder - Class in org.oristool.models.stpn.trees
State builder for stochastic time Petri nets, using standard regenerations.
NewlyEnablingStateBuilder(PetriNet, boolean) - Constructor for class org.oristool.models.stpn.trees.NewlyEnablingStateBuilder
 
NewlyEnablingStateBuilder(PetriNet, boolean, boolean, BigDecimal, int) - Constructor for class org.oristool.models.stpn.trees.NewlyEnablingStateBuilder
Configures a state builder for STPNs.
newOneInstance() - Static method in class org.oristool.math.expression.Expolynomial
Builds a new instance equal to the constant 1.
newOneInstance() - Static method in class org.oristool.math.function.PartitionedGEN
Creates an empty instance with integral equal to 1.
newShiftedExp(BigDecimal, BigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of a shifted exponential.
newShiftedExp(BigDecimal, BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition where the timer distribution is a shifted exponential.
newTruncatedExp(Variable, BigDecimal, OmegaBigDecimal, OmegaBigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of a truncated EXP.
newUniform(OmegaBigDecimal, OmegaBigDecimal) - Static method in class org.oristool.math.function.GEN
Builds the PDF of a uniform variable.
newUniformInstance(String, String) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with uniformly distributed timer.
newUniformInstance(BigDecimal, BigDecimal) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with uniformly distributed timer.
newUniformInstance(BigDecimal, BigDecimal, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Builds the stochastic feature of a transition with uniformly distributed timer.
newVariableInstance() - Method in class org.oristool.petrinet.Transition
Returns the variable associated with this transition.
newVariableSetInstance(Set<Transition>) - Static method in class org.oristool.petrinet.Transition
Variables associated with a set of transitions.
nil() - Static method in class org.oristool.lello.Value
Returns the nil value.
NIL - org.oristool.lello.Value.Type
 
NO - org.oristool.lello.Truth
It means to be sure that some condition does not hold.
NOBINDINGS - Static variable in class org.oristool.lello.Bindings
A predefined empty set of bindings; use this instead of null when you do not want to bind any name.
Node - Class in org.oristool.analyzer.graph
Node of a SuccessionGraph.
Node() - Constructor for class org.oristool.analyzer.graph.Node
 
NONE - Static variable in class org.oristool.petrinet.MarkingCondition
 
NoOpLogger - Enum in org.oristool.analyzer.log
Logger discarding its input.
NoOpMonitor - Enum in org.oristool.analyzer.log
Analysis monitor that discards notifications and never requests to stop the analysis.
NoOpProcessor - Enum in org.oristool.analyzer
A succession processor producing no changes on the input succession.
normalize() - Method in class org.oristool.math.domain.DBMZone
Normalizes this zone, so that upper bounds satisfy the triangular inequality.
normalize() - Method in class org.oristool.math.expression.Exmonomial
Normalizes the exmonomial to avoid multiple powers (or exponentials) for the same variable.
normalize() - Method in class org.oristool.math.expression.Expolynomial
Normalizes the expolynomial, expanding all products and sums.
normalize() - Method in class org.oristool.math.function.GEN
Normalizes the PDF, dividing its density by the integral over the support.
normalizeKernels() - Method in class org.oristool.models.stpn.trans.RegTransient
Checks whether normalization of rows in local and global kernels is enabled.
normalizeKernels(boolean) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Enables the normalization of rows in local and global kernels.
not(Value) - Static method in class org.oristool.lello.ValueOperations
Implements logical NOT.
notifyMessage(String) - Method in interface org.oristool.analyzer.log.AnalysisMonitor
Notifies a message to the user.
notifyMessage(String) - Method in enum org.oristool.analyzer.log.NoOpMonitor
 
notifyNodeAdded(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has added the child node of the given succession to the graph.
notifyNodeAdded(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifyNodeAdded(Succession) - Method in class org.oristool.analyzer.stop.IterationsNumberStopCriterion
 
notifyNodeAdded(Succession) - Method in class org.oristool.analyzer.stop.MonitorStopCriterion
 
notifyNodeAdded(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifyNodeAdded(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
notifySuccessionCreated(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has created the given succession after firing one of the events in the extracted succession.
notifySuccessionCreated(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifySuccessionCreated(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifySuccessionCreated(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
notifySuccessionExtracted(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has extracted the given succession from the policy.
notifySuccessionExtracted(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.analyzer.stop.EventNameStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.analyzer.stop.StateStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.models.pn.MarkingConditionStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.models.stpn.trees.RegenerativeStopCriterion
 
notifySuccessionExtracted(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
notifySuccessionInserted(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has inserted the given succession into the policy queue.
notifySuccessionInserted(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifySuccessionInserted(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifySuccessionInserted(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
notifySuccessionPostProcessed(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has post-processed the given succession.
notifySuccessionPostProcessed(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifySuccessionPostProcessed(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifySuccessionPostProcessed(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
notifySuccessionPreProcessed(Succession) - Method in interface org.oristool.analyzer.AnalyzerObserver
Notifies the observer that the analyzer has pre-processed the given succession.
notifySuccessionPreProcessed(Succession) - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
notifySuccessionPreProcessed(Succession) - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
notifySuccessionPreProcessed(Succession) - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
NumericRewardResult - Class in org.oristool.simulator.rewards
A single numeric result.
NumericRewardResult(BigDecimal) - Constructor for class org.oristool.simulator.rewards.NumericRewardResult
 

O

ObjectToValue(Object) - Static method in class org.oristool.lello.JavaInterop
Converts a Java object to a Lello value.
of(double) - Static method in interface org.oristool.models.stpn.MarkingExpr
Creates a constant marking expression.
of(A, B) - Static method in class org.oristool.util.Pair
Creates a pair of elements.
of(PartitionedFunction) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
 
of(PartitionedFunction, MarkingExpr, MarkingExpr) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
 
OmegaBigDecimal - Class in org.oristool.math
Immutable, arbitrary-precision signed decimal numbers with positive and negative infinity.
OmegaBigDecimal(long) - Constructor for class org.oristool.math.OmegaBigDecimal
 
OmegaBigDecimal(String) - Constructor for class org.oristool.math.OmegaBigDecimal
Parses a number from the input string.
OmegaBigDecimal(BigDecimal) - Constructor for class org.oristool.math.OmegaBigDecimal
 
One(Value) - Static method in class org.oristool.lello.ValueFuncs
Acts as a constant function which is always zero.
ONE - Static variable in class org.oristool.math.OmegaBigDecimal
 
ONE - Static variable in interface org.oristool.models.stpn.MarkingExpr
 
OneGenState - Class in org.oristool.models.stpn.onegen
CTMC state with reference to a node in the succession graph.
OneGenState(State) - Constructor for class org.oristool.models.stpn.onegen.OneGenState
Creates a new instance from a graph node.
OneGenTransient - Class in org.oristool.models.stpn.onegen
Transient analysis of STPNs with at most one general transition enabled in each state.
OneGenTransient.Builder - Class in org.oristool.models.stpn.onegen
 
or(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements logical OR.
org.oristool.analyzer - package org.oristool.analyzer
General framework for state space exploration.
org.oristool.analyzer.graph - package org.oristool.analyzer.graph
Provides classes for the representation of state spaces.
org.oristool.analyzer.log - package org.oristool.analyzer.log
Provides logging and monitoring utilities.
org.oristool.analyzer.policy - package org.oristool.analyzer.policy
Enumeration policies for state space exploration.
org.oristool.analyzer.state - package org.oristool.analyzer.state
Generic state representation.
org.oristool.analyzer.stop - package org.oristool.analyzer.stop
Stop conditions for state space exploration.
org.oristool.lello - package org.oristool.lello
Parsing of input formulas.
org.oristool.lello.ast - package org.oristool.lello.ast
Provides classes for AST representation.
org.oristool.lello.exception - package org.oristool.lello.exception
Provides exceptions used by the parsing API.
org.oristool.lello.parse - package org.oristool.lello.parse
Parsing of input strings.
org.oristool.lello.visitor - package org.oristool.lello.visitor
AST visitors.
org.oristool.math - package org.oristool.math
Provides classes for the encoding and manipulation of PDFs.
org.oristool.math.domain - package org.oristool.math.domain
PDF supports.
org.oristool.math.expression - package org.oristool.math.expression
Expolynomial densities.
org.oristool.math.function - package org.oristool.math.function
PDF densities.
org.oristool.models - package org.oristool.models
Provides classes for the analysis of different models.
org.oristool.models.gspn - package org.oristool.models.gspn
Analysis of GSPNs.
org.oristool.models.gspn.chains - package org.oristool.models.gspn.chains
Analysis of Markov chains.
org.oristool.models.gspn.reachability - package org.oristool.models.gspn.reachability
Reachability analysis in GSPNs.
org.oristool.models.pn - package org.oristool.models.pn
Analysis of Petri nets.
org.oristool.models.stpn - package org.oristool.models.stpn
Analysis of STPNs.
org.oristool.models.stpn.onegen - package org.oristool.models.stpn.onegen
Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady - package org.oristool.models.stpn.steady
Steady-state analysis of MRPs.
org.oristool.models.stpn.trans - package org.oristool.models.stpn.trans
Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees - package org.oristool.models.stpn.trees
Calculus of stochastic state classes.
org.oristool.models.tpn - package org.oristool.models.tpn
Analysis of TPNs.
org.oristool.petrinet - package org.oristool.petrinet
Petri net representation.
org.oristool.simulator - package org.oristool.simulator
Simulator framework.
org.oristool.simulator.rewards - package org.oristool.simulator.rewards
Simulation rewards.
org.oristool.simulator.samplers - package org.oristool.simulator.samplers
Random variable samplers.
org.oristool.simulator.stpn - package org.oristool.simulator.stpn
Provides classes for the simulation of STPNs.
org.oristool.util - package org.oristool.util
Utility classes.
OrStopCriterion - Class in org.oristool.analyzer.stop
Logical OR of two stop criteria.
OrStopCriterion(List<StopCriterion>) - Constructor for class org.oristool.analyzer.stop.OrStopCriterion
 
OrStopCriterion(StopCriterion...) - Constructor for class org.oristool.analyzer.stop.OrStopCriterion
 

P

Pair<A,B> - Class in org.oristool.util
Immutable pair of elements.
parse(TerminalStream) - Method in class org.oristool.lello.parse.LelloParser
Parses a stream of terminal symbols and returns the parsed expression.
parseBoolean(String) - Static method in class org.oristool.lello.Value
Creates a BOOLEAN value from a Java string.
parseInteger(String) - Static method in class org.oristool.lello.Value
Creates an INTEGER value from a Java string.
parseReal(String) - Static method in class org.oristool.lello.Value
Creates a REAL value from a Java string.
parseString(String) - Static method in class org.oristool.lello.Value
Creates a STRING value from a Java string.
ParsingException - Exception in org.oristool.lello.exception
Describes an exceptional event detected by the Lello parser.
ParsingException() - Constructor for exception org.oristool.lello.exception.ParsingException
 
ParsingException(String) - Constructor for exception org.oristool.lello.exception.ParsingException
 
ParsingException(String, Throwable) - Constructor for exception org.oristool.lello.exception.ParsingException
 
ParsingException(Throwable) - Constructor for exception org.oristool.lello.exception.ParsingException
 
PartitionedFunction - Interface in org.oristool.math.function
Generic interface of partitioned functions.
PartitionedGEN - Class in org.oristool.math.function
Multidimensional PDF on a piecewise DBM zone support.
PartitionedGEN() - Constructor for class org.oristool.math.function.PartitionedGEN
Creates an empty PDF.
PartitionedGEN(List<GEN>) - Constructor for class org.oristool.math.function.PartitionedGEN
Creates a new piecewise PDF from a list of PDFs with DBM zone support.
PartitionedGEN(PartitionedGEN) - Constructor for class org.oristool.math.function.PartitionedGEN
Creates a copy of the input piecewise PDF.
PetriComponentsFactory - Class in org.oristool.models.pn
Factory of objects to explore the state space of a Petri net using Analyzer.
PetriComponentsFactory(MarkingUpdater, MarkingUpdater, boolean, EnumerationPolicy) - Constructor for class org.oristool.models.pn.PetriComponentsFactory
Builds a factor from a set of input objects.
PetriNet - Class in org.oristool.petrinet
A Petri net model.
PetriNet() - Constructor for class org.oristool.petrinet.PetriNet
 
PetriNetFeature - Interface in org.oristool.petrinet
Generic feature of a PetriNet.
PetriStateFeature - Class in org.oristool.models.pn
A feature collecting state information of a Petri net.
PetriStateFeature() - Constructor for class org.oristool.models.pn.PetriStateFeature
Builds an empty state feature.
PetriStateFeature(PetriStateFeature) - Constructor for class org.oristool.models.pn.PetriStateFeature
Builds a deep copy of an input state feature.
PetriSuccessionEvaluator - Class in org.oristool.models.pn
Builder of successor states for Petri nets.
PetriSuccessionEvaluator() - Constructor for class org.oristool.models.pn.PetriSuccessionEvaluator
 
PetriSuccessionEvaluator(MarkingUpdater, MarkingUpdater, boolean) - Constructor for class org.oristool.models.pn.PetriSuccessionEvaluator
Builds a succession evaluator with a given token remover and adder.
PetriTokensAdder - Class in org.oristool.models.pn
A simple strategy adding tokens to each output place.
PetriTokensAdder() - Constructor for class org.oristool.models.pn.PetriTokensAdder
 
PetriTokensRemover - Class in org.oristool.models.pn
A simple strategy remove tokens from each input place.
PetriTokensRemover() - Constructor for class org.oristool.models.pn.PetriTokensRemover
 
Place - Class in org.oristool.petrinet
Place of a Petri net.
PlaceFeature - Interface in org.oristool.petrinet
Generic feature of a Place.
PlaceFlusher - Class in org.oristool.models.pn
Transition feature removing all tokens from a set of places.
PlaceFlusher(Place...) - Constructor for class org.oristool.models.pn.PlaceFlusher
 
poissonProb(int) - Method in class org.oristool.models.gspn.chains.FoxGlynn
Returns the Poisson probability for a point in the approximation.
policy() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the supplier of enumeration policies used by this analysis.
policy() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the supplier of enumeration policies used by this analysis.
policy() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns the supplier of enumeration policies used by this analysis.
policy(Supplier<EnumerationPolicy>) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the supplier of enumeration policies used by this analysis.
policy(Supplier<EnumerationPolicy>) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the supplier of enumeration policies used by this analysis.
policy(Supplier<EnumerationPolicy>) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets the supplier of enumeration policies used by this analysis.
pos(Value) - Static method in class org.oristool.lello.ValueOperations
Implements unary plus.
POSITIVE_INFINITY - Static variable in class org.oristool.math.OmegaBigDecimal
 
Postcondition - Class in org.oristool.petrinet
Postcondition of a Petri net.
PostconditionFeature - Interface in org.oristool.petrinet
Generic feature of a Postcondition.
PostUpdater - Class in org.oristool.models.pn
Transition feature updating the marking after token additions/removals of a firing.
PostUpdater(String, PetriNet) - Constructor for class org.oristool.models.pn.PostUpdater
Builds a marking updater from a string of update commands.
pow(int) - Method in class org.oristool.math.expression.Expolynomial
Takes the n-th power of this expolynomial.
pow(int) - Method in class org.oristool.math.OmegaBigDecimal
Returns an OmegaBigDecimal whose value is (thisn), The power is computed exactly, to unlimited precision.
Precondition - Class in org.oristool.petrinet
Precondition of a Petri net.
PreconditionFeature - Interface in org.oristool.petrinet
Generic feature of a Precondition.
PREFIX - org.oristool.lello.ast.UnaryExpression.UnaryOperationType
Prefix operator.
PREFIX_OP - org.oristool.lello.parse.TerminalKind
A prefixed arithmetic unary operator.
PREFIX_OP_LOGIC - org.oristool.lello.parse.TerminalKind
A prefixed logic unary operator.
Print(String) - Static method in class org.oristool.lello.ValueFuncs
Writes a message to the shared PrintWriter.
PrintStreamLogger - Class in org.oristool.analyzer.log
Analysis logger printing to stdout.
PrintStreamLogger(PrintStream) - Constructor for class org.oristool.analyzer.log.PrintStreamLogger
 
PrintValue(String, Value) - Static method in class org.oristool.lello.ValueFuncs
Writes a value preceded by a label to the shared PrintWriter; the value itself is also returned.
Priority - Class in org.oristool.models.pn
Transition feature encoding the priority used to resolve races between immediate transitions.
Priority(int) - Constructor for class org.oristool.models.pn.Priority
 
PriorityPolicy - Class in org.oristool.analyzer.policy
Priority enumeration policy.
PriorityPolicy(Comparator<Succession>) - Constructor for class org.oristool.analyzer.policy.PriorityPolicy
 
probs(int, int) - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Returns the absorption probability from a transient node to a BSCC.
probsGraph() - Method in class org.oristool.models.gspn.chains.DTMC
 
process(Succession) - Method in enum org.oristool.analyzer.NoOpProcessor
 
process(Succession) - Method in interface org.oristool.analyzer.SuccessionProcessor
 
process(Succession) - Method in class org.oristool.models.stpn.trees.EnablingSyncsEvaluator
Detects whether the succession corresponds to a regeneration.
process(Succession) - Method in class org.oristool.models.stpn.trees.NewlyEnablingEvaluator
 
project(Variable) - Method in class org.oristool.math.function.GEN
Removes a variable from the PDF.
project(Variable) - Method in class org.oristool.math.function.PartitionedGEN
Removes the input variable.
projectVariable(Variable) - Method in class org.oristool.math.domain.DBMZone
Discards the constraints of the input variable.
projectVariables(Collection<Variable>) - Method in class org.oristool.math.domain.DBMZone
Discards the constraints of a set of variables.
projectVariables(Variable...) - Method in class org.oristool.math.domain.DBMZone
 
PseudoSampler - Class in org.oristool.simulator.samplers
A pseudo-sampler cycling through a fixed sequence of sample (from a random initial point).
PseudoSampler(String, int) - Constructor for class org.oristool.simulator.samplers.PseudoSampler
Builds a new instance using samples from a file.
PseudoSampler(BigDecimal...) - Constructor for class org.oristool.simulator.samplers.PseudoSampler
Builds a new instance using the input samples.

R

raise(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements power.
ReadOnlyException - Exception in org.oristool.lello.exception
Describes an exceptional event occurred during an illegal attempt to alter a read-only value.
ReadOnlyException() - Constructor for exception org.oristool.lello.exception.ReadOnlyException
 
ReadOnlyException(String) - Constructor for exception org.oristool.lello.exception.ReadOnlyException
 
ReadOnlyException(String, Throwable) - Constructor for exception org.oristool.lello.exception.ReadOnlyException
 
ReadOnlyException(Throwable) - Constructor for exception org.oristool.lello.exception.ReadOnlyException
 
REAL - org.oristool.lello.Value.Type
 
Regeneration<V> - Class in org.oristool.models.stpn.trees
A state feature including a regeneration.
Regeneration(V) - Constructor for class org.oristool.models.stpn.trees.Regeneration
 
RegenerativeComponentsFactory - Class in org.oristool.models.stpn.trees
Factory of objects to build the state space and PDFs of a stochastic time Petri net using Analyzer.
RegenerativeComponentsFactory(boolean, MarkingUpdater, MarkingUpdater, boolean, SuccessionProcessor, EnumerationPolicy, OmegaBigDecimal, StopCriterion, BigDecimal, int, AnalysisMonitor) - Constructor for class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
Builds a factory for STPN analysis.
RegenerativeComponentsFactory(boolean, MarkingUpdater, MarkingUpdater, boolean, SuccessionProcessor, EnumerationPolicy, OmegaBigDecimal, MarkingCondition, BigDecimal, int, AnalysisMonitor) - Constructor for class org.oristool.models.stpn.trees.RegenerativeComponentsFactory
Builds a factory for STPN analysis.
RegenerativeStopCriterion - Class in org.oristool.models.stpn.trees
Stop criterion halting the analysis after regenerations.
RegenerativeStopCriterion() - Constructor for class org.oristool.models.stpn.trees.RegenerativeStopCriterion
 
RegSteadyState - Class in org.oristool.models.stpn.steady
Steady-state analysis of STPNs using trees of stochastic state classes between regenerations.
RegSteadyState.Builder - Class in org.oristool.models.stpn.steady
 
RegTransient - Class in org.oristool.models.stpn.trans
Transient analysis of STPNs using trees of stochastic state classes between regenerations.
RegTransient.Builder - Class in org.oristool.models.stpn.trans
 
remove() - Method in interface org.oristool.analyzer.policy.EnumerationPolicy
Extracts a succession: its child node is the next state to be explored.
remove() - Method in class org.oristool.analyzer.policy.FIFOPolicy
 
remove() - Method in class org.oristool.analyzer.policy.LIFOPolicy
 
remove() - Method in class org.oristool.analyzer.policy.PriorityPolicy
 
remove() - Method in class org.oristool.models.stpn.trees.TruncationPolicy
 
remove(Variable) - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
Discards all synchronization information about a variable.
removeCurrentRunObserver(SequencerObserver) - Method in class org.oristool.simulator.Sequencer
Removes an observer of the current simulation run.
removeExpVariable(Variable) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
removeFeature(Class<F>) - Method in class org.oristool.util.Featurizable
Removes the feature with the given type from this object.
removeInhibitorArc(InhibitorArc) - Method in class org.oristool.petrinet.PetriNet
Removes the existing inhibitor arc between a place and a transition.
removeObserver(AnalyzerObserver) - Method in class org.oristool.analyzer.Analyzer
 
removeObserver(RewardEvaluatorObserver) - Method in class org.oristool.simulator.rewards.RewardEvaluator
 
removeObserver(RewardObserver) - Method in class org.oristool.simulator.rewards.BasicReward
 
removeObserver(RewardObserver) - Method in interface org.oristool.simulator.rewards.Reward
 
removeObserver(SequencerObserver) - Method in class org.oristool.simulator.Sequencer
Removes an observer of the simulation.
removePlace(Place) - Method in class org.oristool.models.pn.PlaceFlusher
 
removePlace(Place) - Method in class org.oristool.petrinet.PetriNet
Removes an existing place.
removePostcondition(Postcondition) - Method in class org.oristool.petrinet.PetriNet
Removes the existing postcondition between a place and a transition.
removePrecondition(Precondition) - Method in class org.oristool.petrinet.PetriNet
Removes the existing precondition between a place and a transition.
removeTokens(Place, int) - Method in class org.oristool.petrinet.Marking
Removes a specified number of tokens from a place.
removeTransition(Transition) - Method in class org.oristool.petrinet.PetriNet
Removes an existing transition.
ResetSet - Class in org.oristool.models.pn
A transition feature forcing other transitions to resample a time-to-fire.
ResetSet(Set<Transition>) - Constructor for class org.oristool.models.pn.ResetSet
 
ResetSet(Transition...) - Constructor for class org.oristool.models.pn.ResetSet
 
RESULT_EVALUATED - org.oristool.simulator.rewards.RewardEvaluator.RewardEvaluatorEvent
 
Reward - Interface in org.oristool.simulator.rewards
General reward interface.
Reward.RewardEvent - Enum in org.oristool.simulator.rewards
 
RewardEvaluator - Class in org.oristool.simulator.rewards
Evaluator collecting the values of a reward over multiple runs.
RewardEvaluator(Reward, long) - Constructor for class org.oristool.simulator.rewards.RewardEvaluator
Builds an evaluator for a given reward and number of runs.
RewardEvaluator.RewardEvaluatorEvent - Enum in org.oristool.simulator.rewards
 
RewardEvaluatorObserver - Interface in org.oristool.simulator.rewards
Common interface for observers of a reward evaluator.
RewardObserver - Interface in org.oristool.simulator.rewards
Common interface for observers of a reward.
RewardRate - Class in org.oristool.models.stpn
A marking-dependent rate expression.
RewardRate() - Constructor for class org.oristool.models.stpn.RewardRate
 
RewardTime - Interface in org.oristool.simulator.rewards
Common interface of discrete and continuous reward times.
rightPoint() - Method in class org.oristool.models.gspn.chains.FoxGlynn
Returns the point used to truncate the right tail of the Poisson distribution.
rightPoint() - Method in interface org.oristool.models.gspn.chains.Interval
Returns the right point of the interval.
RUN_END - org.oristool.simulator.rewards.Reward.RewardEvent
 
RUN_END - org.oristool.simulator.Sequencer.SequencerEvent
 
RUN_START - org.oristool.simulator.Sequencer.SequencerEvent
 

S

Sampler - Interface in org.oristool.simulator.samplers
Common interface of samplers.
SamplerFeature - Class in org.oristool.simulator.stpn
Transition feature associating a time-to-fire sampler.
SamplerFeature(Sampler) - Constructor for class org.oristool.simulator.stpn.SamplerFeature
 
second() - Method in class org.oristool.util.Pair
 
Sequencer - Class in org.oristool.simulator
 
Sequencer(PetriNet, Marking, SimulatorComponentsFactory<PetriNet, Transition>, AnalysisLogger) - Constructor for class org.oristool.simulator.Sequencer
Builds a new instance for a given Petri net and initial marking.
Sequencer.SequencerEvent - Enum in org.oristool.simulator
 
SequencerObserver - Interface in org.oristool.simulator
Common interface of simulation observers.
set(String, Value) - Method in class org.oristool.lello.Bindings
Assigns a value to a variable.
set(Variable, Variable, BigDecimal) - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
Returns the enabling delay of a determinstic variable with respect to a general one.
setAbsorbing(boolean) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
setAlpha(int) - Method in class org.oristool.math.expression.MonomialTerm
 
setCheckNewlyEnabled(boolean) - Method in class org.oristool.models.pn.PetriStateFeature
 
setChild(State) - Method in class org.oristool.analyzer.Succession
 
setCoefficient(Variable, Variable, OmegaBigDecimal) - Method in class org.oristool.math.domain.DBMZone
Sets the constant c for the constraints left-right.
setConstantTerm(OmegaBigDecimal) - Method in class org.oristool.math.expression.Exmonomial
Sets the constant multiplier of the term.
setDisabled(Set<Transition>) - Method in class org.oristool.models.pn.PetriStateFeature
 
setDomain(DBMZone) - Method in class org.oristool.models.tpn.TimedStateFeature
 
setEnabled(Set<Transition>) - Method in class org.oristool.models.pn.PetriStateFeature
 
setEnteringTimeDensity(StateDensityFunction) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
 
setEvent(Event) - Method in class org.oristool.analyzer.Succession
 
setEXPRate(Variable, BigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
setLambda(BigDecimal) - Method in class org.oristool.math.expression.ExponentialTerm
 
setMarking(Marking) - Method in class org.oristool.models.pn.PetriStateFeature
 
setNewGround(Variable) - Method in class org.oristool.math.domain.DBMZone
Discards the constraints of the input variable and uses it as the new ground.
setNewlyEnabled(Set<Transition>) - Method in class org.oristool.models.pn.PetriStateFeature
 
setParent(State) - Method in class org.oristool.analyzer.Succession
 
setPersistent(Set<Transition>) - Method in class org.oristool.models.pn.PetriStateFeature
 
setPrintWriter(PrintWriter) - Static method in class org.oristool.lello.ValueFuncs
Sets the shared PrintWriter which methods can use to write output.
setProbability(BigDecimal) - Method in class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
setReachingProbability(BigDecimal) - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
 
setStateDensity(StateDensityFunction) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
setTimeToFire(Transition, BigDecimal) - Method in class org.oristool.simulator.TimedSimulatorStateFeature
 
setTokens(Place, Integer) - Method in class org.oristool.petrinet.Marking
Sets the number of tokens of a place.
setTokensFrom(Marking) - Method in class org.oristool.petrinet.Marking
Resets this marking to the token counts of the input one.
setVanishing(boolean) - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
setVariable(Variable) - Method in class org.oristool.math.expression.ExponentialTerm
 
setVariable(Variable) - Method in class org.oristool.math.expression.MonomialTerm
 
shift(Variable, Variable) - Method in class org.oristool.math.expression.Exmonomial
Replaces base with base + offset.
shift(Variable, Variable) - Method in class org.oristool.math.expression.Expolynomial
Replaces base with base + offset.
shiftAndProject(Variable) - Method in class org.oristool.math.function.GEN
Subtracts a variable from all others and removes it from the PDF.
shiftAndProject(Variable) - Method in class org.oristool.math.function.PartitionedGEN
Subtracts the input variable from all others and removes it.
shiftAndProject(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Subtracts a variable from all others and removes it from this PDF.
show(SuccessionGraph) - Static method in class org.oristool.models.stpn.trees.SuccessionGraphViewer
Displays the graph in a JFrame.
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.BinaryExpression
 
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.Brackets
 
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.Constant
 
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.Expression
Tries to simplify this expression.
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.FunctionCall
 
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.UnaryExpression
 
simplify(Bindings, SymbolicVisitor) - Method in class org.oristool.lello.ast.Variable
 
simulate() - Method in class org.oristool.simulator.Sequencer
Starts the simulation, running until all observers have completed.
SIMULATION_END - org.oristool.simulator.Sequencer.SequencerEvent
 
SIMULATION_START - org.oristool.simulator.Sequencer.SequencerEvent
 
SimulatorComponentsFactory<M,E extends Event> - Interface in org.oristool.simulator
Factory of components used during the simulation.
SimulatorInitialStateBuilder - Interface in org.oristool.simulator
Builder for the initial State of simulations.
SimulatorSTPNInitialStateBuilder - Class in org.oristool.simulator.stpn
Builder for the initial state for the simulation of an STPN.
SimulatorSTPNInitialStateBuilder() - Constructor for class org.oristool.simulator.stpn.SimulatorSTPNInitialStateBuilder
 
SimulatorSTPNSuccessorEvaluator - Class in org.oristool.simulator.stpn
Succession state evaluator for the simulation of an STPN.
SimulatorSTPNSuccessorEvaluator() - Constructor for class org.oristool.simulator.stpn.SimulatorSTPNSuccessorEvaluator
 
SimulatorSuccessorEvaluator - Interface in org.oristool.simulator
 
solutionChart(TransientSolution<R, S>) - Static method in class org.oristool.models.stpn.TransientSolutionViewer
Builds a Swing visualization of the given transient solution.
SPNState - Class in org.oristool.models.gspn.reachability
A GSPN state, including a sojourn rate and a marking.
SPNState(Marking, double) - Constructor for class org.oristool.models.gspn.reachability.SPNState
Creates a new instance with a given marking and exit rate.
state() - Method in interface org.oristool.models.gspn.chains.CTMCState
 
state() - Method in class org.oristool.models.gspn.reachability.SPNState
 
state() - Method in class org.oristool.models.stpn.onegen.OneGenState
 
State - Class in org.oristool.analyzer.state
A state collecting data as features.
State() - Constructor for class org.oristool.analyzer.state.State
 
StateBuilder<D> - Interface in org.oristool.analyzer.state
Builds a full state representation from a discrete summary.
StateDensityFunction - Class in org.oristool.math.function
Joint probability density function over DBM zones.
StateDensityFunction() - Constructor for class org.oristool.math.function.StateDensityFunction
Creates an empty PDF.
StateDensityFunction(StateDensityFunction) - Constructor for class org.oristool.math.function.StateDensityFunction
Creates the copy of a PDF.
StateFeature - Interface in org.oristool.analyzer.state
Generic interface for the features allowed on a State.
StateStopCriterion - Class in org.oristool.analyzer.stop
Stop criterion based on a state predicate.
StateStopCriterion(Predicate<State>) - Constructor for class org.oristool.analyzer.stop.StateStopCriterion
 
SteadyStateMarkingProbability - Class in org.oristool.simulator.stpn
Reward estimating the steady-state probability of a marking.
SteadyStateMarkingProbability(Sequencer, RewardTime, int, Marking) - Constructor for class org.oristool.simulator.stpn.SteadyStateMarkingProbability
Builds a new instance for a given marking, time abstraction, number of time ticks.
SteadyStateSolution<T> - Class in org.oristool.models.stpn
 
SteadyStateSolution() - Constructor for class org.oristool.models.stpn.SteadyStateSolution
 
SteadyStateSolution(Map<T, BigDecimal>) - Constructor for class org.oristool.models.stpn.SteadyStateSolution
 
StochasticComponentsFactory - Class in org.oristool.models.stpn.trees
Factory of objects to build the state space and PDFs of a stochastic time Petri net using Analyzer.
StochasticComponentsFactory(boolean, MarkingUpdater, MarkingUpdater, boolean, EnumerationPolicy, OmegaBigDecimal, StopCriterion, BigDecimal, int, AnalysisMonitor) - Constructor for class org.oristool.models.stpn.trees.StochasticComponentsFactory
Builds a factory for STPN analysis.
StochasticComponentsFactory(boolean, MarkingUpdater, MarkingUpdater, boolean, EnumerationPolicy, OmegaBigDecimal, MarkingCondition, BigDecimal, int, AnalysisMonitor) - Constructor for class org.oristool.models.stpn.trees.StochasticComponentsFactory
Builds a factory for STPN analysis.
StochasticStateFeature - Class in org.oristool.models.stpn.trees
A state feature encoding the support and PDF of enabled timers.
StochasticStateFeature(BigDecimal, int) - Constructor for class org.oristool.models.stpn.trees.StochasticStateFeature
Builds an empty stochastic state feature.
StochasticStateFeature(StochasticStateFeature) - Constructor for class org.oristool.models.stpn.trees.StochasticStateFeature
Builds the copy of a stochastic state feature.
StochasticSuccessionEvaluator - Class in org.oristool.models.stpn.trees
Builder of successor states for stochastic time Petri nets.
StochasticSuccessionEvaluator(boolean, MarkingUpdater, MarkingUpdater, boolean, OmegaBigDecimal) - Constructor for class org.oristool.models.stpn.trees.StochasticSuccessionEvaluator
Builds a succession evaluator with a given token remover and adder.
StochasticSuccessionFeature - Class in org.oristool.models.stpn.trees
Succession feature encoding the firing probability.
StochasticSuccessionFeature(BigDecimal) - Constructor for class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
StochasticTransitionFeature - Class in org.oristool.models.stpn.trees
Transition feature encoding the distribution and weight.
stop() - Method in class org.oristool.analyzer.stop.AlwaysFalseStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.AndStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.EventNameStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.IterationsNumberStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.MonitorStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.OrStopCriterion
 
stop() - Method in class org.oristool.analyzer.stop.StateStopCriterion
 
stop() - Method in interface org.oristool.analyzer.stop.StopCriterion
 
stop() - Method in class org.oristool.models.pn.MarkingConditionStopCriterion
 
stop() - Method in class org.oristool.models.stpn.trees.RegenerativeStopCriterion
 
stop() - Method in class org.oristool.models.tpn.TimeBoundStopCriterion
 
StopCriterion - Interface in org.oristool.analyzer.stop
Common interface of stop criteria.
stopOn() - Method in class org.oristool.models.gspn.GSPNSteadyState
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.gspn.reachability.GSPNReachability
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.stpn.steady.RegSteadyState
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the supplier of local stop criterion instances used by this analysis.
stopOn() - Method in class org.oristool.models.tpn.TimedAnalysis
Returns the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.gspn.reachability.GSPNReachability.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.stpn.steady.RegSteadyState.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(Supplier<StopCriterion>) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Sets the supplier of local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.gspn.GSPNSteadyState.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.gspn.reachability.GSPNReachability.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.stpn.steady.RegSteadyState.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
stopOn(MarkingCondition) - Method in class org.oristool.models.tpn.TimedAnalysis.Builder
Uses a marking condition to create local stop criterion instances used by this analysis.
STPNSimulatorComponentsFactory - Class in org.oristool.simulator.stpn
Components using during the simulation of STPNs.
STPNSimulatorComponentsFactory() - Constructor for class org.oristool.simulator.stpn.STPNSimulatorComponentsFactory
 
STRING - org.oristool.lello.Value.Type
 
StrLen(String) - Static method in class org.oristool.lello.ValueFuncs
Returns the length of a STRING.
sub(Value, Value) - Static method in class org.oristool.lello.ValueOperations
Implements subtraction.
sub(Expolynomial) - Method in class org.oristool.math.expression.Expolynomial
Subtracts another expolynomial.
substitute(Variable, Variable) - Method in class org.oristool.math.domain.DBMZone
Replaces the name of a variable in all of its constraints.
substitute(Variable, Variable) - Method in interface org.oristool.math.expression.AtomicTerm
Substitutes oldVar with newVar in the atomic term.
substitute(Variable, Variable) - Method in class org.oristool.math.expression.Exmonomial
Replaces oldVar with newVar.
substitute(Variable, Variable) - Method in class org.oristool.math.expression.Expolynomial
Replaces oldVar with newVar.
substitute(Variable, Variable) - Method in class org.oristool.math.expression.ExponentialTerm
 
substitute(Variable, Variable) - Method in class org.oristool.math.expression.MonomialTerm
 
substitute(Variable, Variable) - Method in class org.oristool.math.function.GEN
Replaces a variable name with another.
substitute(Variable, Variable) - Method in class org.oristool.math.function.PartitionedGEN
Replaces one variable name with another one.
substitute(Variable, Variable, BigDecimal) - Method in class org.oristool.math.domain.DBMZone
Replaces the name of a variable and applies a constant shift.
substitute(Variable, Variable, BigDecimal) - Method in class org.oristool.math.function.GEN
Replaces a variable name with another and adds a constant.
substitute(Variable, Variable, BigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Replaces one variable name with another one plus a constant.
substituteAndShift(Variable, Variable, BigDecimal) - Method in class org.oristool.math.function.GEN
Replaces the ground with newVar - constant and oldVar with the ground.
substituteAndShift(Variable, Variable, BigDecimal) - Method in class org.oristool.math.function.PartitionedGEN
Replaces oldVar with Variable.TSTAR and makes newVar - constant the new ground.
subtract(OmegaBigDecimal) - Method in class org.oristool.math.OmegaBigDecimal
Returns an OmegaBigDecimal whose value is (this - subtrahend).
Subzone(DBMZone, Variable, Variable, OmegaBigDecimal, Variable, OmegaBigDecimal) - Constructor for class org.oristool.math.domain.DBMZone.Subzone
Creates a representation of a subzone resulting from a projection.
Succession - Class in org.oristool.analyzer
Succession between two states after the firing of an event.
Succession(State, Event, State) - Constructor for class org.oristool.analyzer.Succession
Creates a succession from parent to child.
SuccessionEvaluator<M,E extends Event> - Interface in org.oristool.analyzer
Common interface of succession evaluators.
SuccessionFeature - Interface in org.oristool.analyzer
Common interface of features allowed on a succession.
SuccessionGraph - Class in org.oristool.analyzer.graph
A graph of Succession objects.
SuccessionGraph() - Constructor for class org.oristool.analyzer.graph.SuccessionGraph
 
SuccessionGraphViewer - Class in org.oristool.models.stpn.trees
 
SuccessionGraphViewer(SuccessionGraph) - Constructor for class org.oristool.models.stpn.trees.SuccessionGraphViewer
Creates a graph viewer.
SuccessionProcessor - Interface in org.oristool.analyzer
Common interface of succession processors supported by the analyzer.
SUFFIX - org.oristool.lello.ast.UnaryExpression.UnaryOperationType
Suffix operator.
SUFFIX_OP - org.oristool.lello.parse.TerminalKind
A suffixed arithmetic unary operator.
SUFFIX_OP_LOGIC - org.oristool.lello.parse.TerminalKind
A suffixed logic unary operator.
swap(Variable) - Method in class org.oristool.math.function.StateDensityFunction
Moves a synchronized variable into the distributed set, and the current distributed one into the synchronized set.
SymbolicPrefixReward - Class in org.oristool.simulator.rewards
Reward tracking the occurrence of a sequence of event firings from the initial state.
SymbolicPrefixReward(Sequencer, String...) - Constructor for class org.oristool.simulator.rewards.SymbolicPrefixReward
Builds a new instance for a given simulator and sequence of transitions.
SymbolicVisitor - Interface in org.oristool.lello.visitor
A Visitor interface used to perform symbolic manipulations on expressions, such as simplifications; a concrete expression calls the appropriate method of the Visitor passing a reference to itself.
Synchronization - Class in org.oristool.math.function
Synchronization information of a variable.
Synchronization(Variable, BigDecimal) - Constructor for class org.oristool.math.function.Synchronization
 
Synchronization(Synchronization) - Constructor for class org.oristool.math.function.Synchronization
 

T

TEN - Static variable in class org.oristool.math.OmegaBigDecimal
 
Terminal - Class in org.oristool.lello.parse
Represents a terminal symbol.
Terminal(TerminalKind, String, int, int) - Constructor for class org.oristool.lello.parse.Terminal
Initializes a new terminal symbol.
TerminalKind - Enum in org.oristool.lello.parse
Represents the kind of a terminal symbol.
TerminalStream - Interface in org.oristool.lello.parse
Represents a stream of terminal symbols, input to Lello parser.
timeBound() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the maximum time bound for the analysis.
timeBound() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the maximum time bound for the analysis.
timeBound() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the maximum time bound for the analysis.
timeBound(BigDecimal) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the maximum time bound for the analysis.
timeBound(BigDecimal) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the maximum time bound for the analysis.
timeBound(BigDecimal) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the maximum time bound for the analysis.
TimeBoundStopCriterion - Class in org.oristool.models.tpn
A global stop criterion.
TimeBoundStopCriterion(OmegaBigDecimal) - Constructor for class org.oristool.models.tpn.TimeBoundStopCriterion
 
TimedAnalysis - Class in org.oristool.models.tpn
State-class graph builder for time Petri nets.
TimedAnalysis.Builder - Class in org.oristool.models.tpn
 
TimedComponentsFactory - Class in org.oristool.models.tpn
Factory of objects to explore the state space of a time Petri net using Analyzer.
TimedComponentsFactory() - Constructor for class org.oristool.models.tpn.TimedComponentsFactory
Builds a default factory for TPN analysis.
TimedComponentsFactory(boolean, boolean, boolean, boolean, boolean, EnumerationPolicy, StopCriterion, AnalysisMonitor, MarkingUpdater, MarkingUpdater) - Constructor for class org.oristool.models.tpn.TimedComponentsFactory
Builds a factory for TPN analysis.
TimedComponentsFactory(boolean, boolean, boolean, boolean, boolean, EnumerationPolicy, MarkingCondition, AnalysisMonitor) - Constructor for class org.oristool.models.tpn.TimedComponentsFactory
Builds a factory for TPN analysis.
TimedComponentsFactory(boolean, boolean, boolean, boolean, boolean, EnumerationPolicy, MarkingCondition, AnalysisMonitor, MarkingUpdater, MarkingUpdater) - Constructor for class org.oristool.models.tpn.TimedComponentsFactory
Builds a factory for TPN analysis.
TimedSimulatorStateFeature - Class in org.oristool.simulator
State feature of time-based STPN simulations.
TimedSimulatorStateFeature() - Constructor for class org.oristool.simulator.TimedSimulatorStateFeature
 
TimedStateFeature - Class in org.oristool.models.tpn
 
TimedStateFeature() - Constructor for class org.oristool.models.tpn.TimedStateFeature
 
TimedStateFeature(TimedStateFeature) - Constructor for class org.oristool.models.tpn.TimedStateFeature
 
TimedSuccessionEvaluator - Class in org.oristool.models.tpn
Builder of successor states for time Petri nets.
TimedSuccessionEvaluator(MarkingUpdater, MarkingUpdater, boolean, boolean) - Constructor for class org.oristool.models.tpn.TimedSuccessionEvaluator
Builds a succession evaluator with a given token remover and adder.
TimedTransitionFeature - Class in org.oristool.models.tpn
Transition feature with minimum/maximum required time to the firing.
TimedTransitionFeature(String, String) - Constructor for class org.oristool.models.tpn.TimedTransitionFeature
Builds a timed feature from minimum/maximum firing times specified as strings.
TimedTransitionFeature(OmegaBigDecimal, OmegaBigDecimal) - Constructor for class org.oristool.models.tpn.TimedTransitionFeature
Builds a timed feature from minimum/maximum firing times.
timePoints() - Method in class org.oristool.models.gspn.GSPNTransient
Returns the time points of transient probabilities.
timePoints(double[]) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets the time points for which transient probabilities must be computed.
timePoints(double, double, double) - Method in class org.oristool.models.gspn.GSPNTransient.Builder
Sets evenly spaced values as time points for transient probabilities.
TimeSeriesRewardResult - Class in org.oristool.simulator
 
TimeSeriesRewardResult(BigDecimal) - Constructor for class org.oristool.simulator.TimeSeriesRewardResult
 
timeStep() - Method in class org.oristool.models.stpn.onegen.OneGenTransient
Returns the step used to compute transient probabilities from 0 to this.timeBound().
timeStep() - Method in class org.oristool.models.stpn.trans.RegTransient
Returns the step used to compute transient probabilities from 0 to this.timeBound().
timeStep() - Method in class org.oristool.models.stpn.trans.TreeTransient
Returns the step used to compute transient probabilities from 0 to this.timeBound().
timeStep(BigDecimal) - Method in class org.oristool.models.stpn.onegen.OneGenTransient.Builder
Sets the step used to compute transient probabilities from 0 to this.timeBound().
timeStep(BigDecimal) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder
Sets the step used to compute transient probabilities from 0 to this.timeBound().
timeStep(BigDecimal) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder
Sets the step used to compute transient probabilities from 0 to this.timeBound().
toAndString() - Method in class org.oristool.math.domain.DBMZone
Produces a representation of the zone constraints as "and" && operators.
ToBoolean(boolean) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to BOOLEAN.
ToBoolean(double) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to BOOLEAN.
ToBoolean(int) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to BOOLEAN.
ToBoolean(String) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to BOOLEAN.
ToInteger(boolean) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to INTEGER.
ToInteger(double) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to INTEGER.
ToInteger(int) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to INTEGER.
ToInteger(String) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to INTEGER.
toLeftNeighborhood() - Method in class org.oristool.math.OmegaBigDecimal
Returns the left neighborhood of this value.
toMathematicaString() - Method in class org.oristool.math.function.EXP
 
toMathematicaString() - Method in interface org.oristool.math.function.Function
 
toMathematicaString() - Method in class org.oristool.math.function.GEN
 
toMathematicaString() - Method in interface org.oristool.math.function.PartitionedFunction
 
toMathematicaString() - Method in class org.oristool.math.function.PartitionedGEN
 
ToReal(boolean) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to REAL.
ToReal(double) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to REAL.
ToReal(int) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to REAL.
ToReal(String) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to REAL.
toRegionPlotString() - Method in class org.oristool.math.domain.DBMZone
Produces a representation of the zone constraints Mathematica RegionPlot.
toRightNeighborhood() - Method in class org.oristool.math.OmegaBigDecimal
Returns the right neighborhood of this value.
toString() - Method in enum org.oristool.analyzer.state.LocalStop
 
toString() - Method in class org.oristool.analyzer.Succession
 
toString() - Method in class org.oristool.lello.ast.BinaryExpression
 
toString() - Method in class org.oristool.lello.ast.Brackets
 
toString() - Method in class org.oristool.lello.ast.Constant
 
toString() - Method in class org.oristool.lello.ast.Expression
 
toString() - Method in class org.oristool.lello.ast.FunctionCall
 
toString() - Method in class org.oristool.lello.ast.UnaryExpression
 
toString() - Method in class org.oristool.lello.ast.Variable
 
toString() - Method in class org.oristool.lello.Value
 
toString() - Method in class org.oristool.math.domain.DBMZone
 
toString() - Method in class org.oristool.math.expression.Exmonomial
 
toString() - Method in class org.oristool.math.expression.Expolynomial
 
toString() - Method in class org.oristool.math.expression.ExponentialTerm
 
toString() - Method in class org.oristool.math.expression.MonomialTerm
 
toString() - Method in class org.oristool.math.expression.Variable
 
toString() - Method in class org.oristool.math.function.EXP
 
toString() - Method in class org.oristool.math.function.GEN
 
toString() - Method in class org.oristool.math.function.PartitionedGEN
 
toString() - Method in class org.oristool.math.function.StateDensityFunction
 
toString() - Method in class org.oristool.math.OmegaBigDecimal
 
toString() - Method in class org.oristool.models.gspn.reachability.FiringProbability
 
toString() - Method in class org.oristool.models.gspn.reachability.SPNState
 
toString() - Method in class org.oristool.models.pn.PetriStateFeature
 
toString() - Method in class org.oristool.models.pn.PlaceFlusher
 
toString() - Method in class org.oristool.models.pn.PostUpdater
 
toString() - Method in class org.oristool.models.pn.Priority
 
toString() - Method in class org.oristool.models.stpn.MarkingExpr.ConstantExpr
 
toString() - Method in class org.oristool.models.stpn.MarkingExpr.LelloExpr
 
toString() - Method in class org.oristool.models.stpn.onegen.OneGenState
 
toString() - Method in class org.oristool.models.stpn.TransientSolution
 
toString() - Method in class org.oristool.models.stpn.trees.DeterministicEnablingState
 
toString() - Method in class org.oristool.models.stpn.trees.EnablingSyncsFeature
 
toString() - Method in class org.oristool.models.stpn.trees.Regeneration
 
toString() - Method in class org.oristool.models.stpn.trees.StochasticStateFeature
 
toString() - Method in class org.oristool.models.stpn.trees.StochasticSuccessionFeature
 
toString() - Method in class org.oristool.models.stpn.trees.TransientStochasticStateFeature
 
toString() - Method in class org.oristool.models.tpn.TimedStateFeature
 
toString() - Method in class org.oristool.models.tpn.TimedTransitionFeature
 
toString() - Method in class org.oristool.models.ValidationMessageCollector.Message
 
toString() - Method in class org.oristool.petrinet.EnablingFunction
 
toString() - Method in class org.oristool.petrinet.InhibitorArc
 
toString() - Method in class org.oristool.petrinet.Marking
 
toString() - Method in class org.oristool.petrinet.PetriNet
 
toString() - Method in class org.oristool.petrinet.Place
 
toString() - Method in class org.oristool.petrinet.Postcondition
 
toString() - Method in class org.oristool.petrinet.Precondition
 
toString() - Method in class org.oristool.petrinet.Transition
 
toString() - Method in class org.oristool.simulator.rewards.NumericRewardResult
 
toString() - Method in class org.oristool.simulator.TimedSimulatorStateFeature
 
toString() - Method in class org.oristool.simulator.TimeSeriesRewardResult
 
toString() - Method in class org.oristool.util.Featurizable
 
toString() - Method in class org.oristool.util.Pair
 
ToString(Value) - Static method in class org.oristool.lello.ValueFuncs
Converts a value to STRING.
totalWeight() - Method in class org.oristool.models.gspn.chains.FoxGlynn
Returns a normalization constant for the Poisson approximation.
toUnitStepsString() - Method in class org.oristool.math.domain.DBMZone
 
transientIndex(S) - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Returns the position of a transient node in the list.
TransientMarkingConditionProbability - Class in org.oristool.simulator.stpn
Reward estimating the transient probability of a marking condition.
TransientMarkingConditionProbability(Sequencer, RewardTime, int, MarkingCondition) - Constructor for class org.oristool.simulator.stpn.TransientMarkingConditionProbability
Builds an instance for a given marking condition and number of time ticks.
TransientMarkingProbability - Class in org.oristool.simulator.stpn
Reward estimating the transient probability of a marking.
TransientMarkingProbability(Sequencer, RewardTime, int, Marking) - Constructor for class org.oristool.simulator.stpn.TransientMarkingProbability
Builds a new instance for the given marking.
transientNodes() - Method in class org.oristool.models.gspn.chains.AbsorptionProbs
Returns the list of transient nodes.
TransientSolution<R,S> - Class in org.oristool.models.stpn
Transient probabilities from many initial states.
TransientSolution(BigDecimal, BigDecimal, List<R>, List<S>, R) - Constructor for class org.oristool.models.stpn.TransientSolution
Prepares a new instance and allocates the vector of probabilities.
TransientSolutionViewer - Class in org.oristool.models.stpn
Swing plot visualizer.
TransientSolutionViewer(List<String>, TransientSolution<R, S>...) - Constructor for class org.oristool.models.stpn.TransientSolutionViewer
Displays a Swing visualization of the given transient solution, using a set of labels.
TransientSolutionViewer(TransientSolution<R, S>) - Constructor for class org.oristool.models.stpn.TransientSolutionViewer
Displays a Swing visualization of the given transient solution.
TransientSolutionViewer(TransientSolution<R, S>...) - Constructor for class org.oristool.models.stpn.TransientSolutionViewer
Displays a Swing visualization of the given transient solutions.
TransientStochasticStateFeature - Class in org.oristool.models.stpn.trees
State feature including the entering time distribution and reaching probability of a state.
TransientStochasticStateFeature() - Constructor for class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Builds an empty state feature.
TransientStochasticStateFeature(TransientStochasticStateFeature) - Constructor for class org.oristool.models.stpn.trees.TransientStochasticStateFeature
Builds the copy of a state feature.
Transition - Class in org.oristool.petrinet
Transition of a Petri net.
TransitionAbsoluteFiringTime - Class in org.oristool.simulator.stpn
Reward estimating the absolute time of a transition firing.
TransitionAbsoluteFiringTime(Sequencer, RewardTime, int, String) - Constructor for class org.oristool.simulator.stpn.TransitionAbsoluteFiringTime
Builds a new instance for a given transition name.
TransitionFeature - Interface in org.oristool.petrinet
Generic feature of a Transition.
TreeTransient - Class in org.oristool.models.stpn.trans
Transient analysis of STPNs using a single tree of stochastic state classes.
TreeTransient.Builder - Class in org.oristool.models.stpn.trans
 
TruncationPolicy - Class in org.oristool.models.stpn.trees
Priority policy halting the enumeration on dropRegenerative leaves or when the total reaching (before time limit) probability of nodes to be expanded is lower than epsilon (or both).
TruncationPolicy(BigDecimal, OmegaBigDecimal) - Constructor for class org.oristool.models.stpn.trees.TruncationPolicy
Builds a truncation policy for a given time limit and allowed error (total probability mass of discarded nodes).
Truth - Enum in org.oristool.lello
Represents truth values and possibly incomplete information.
TSTAR - Static variable in class org.oristool.math.expression.Variable
 

U

UnaryExpression - Class in org.oristool.lello.ast
Represents a unary expression.
UnaryExpression(UnaryExpression.UnaryOperationType, String, Expression) - Constructor for class org.oristool.lello.ast.UnaryExpression
Initializes a new unary expression.
UnaryExpression.UnaryOperationType - Enum in org.oristool.lello.ast
Represents which version of the operator is being used, either prefix or suffix.
UndefinedSymbolException - Exception in org.oristool.lello.exception
Describes an exceptional event occurred as a result of referencing an undefined symbol.
UndefinedSymbolException() - Constructor for exception org.oristool.lello.exception.UndefinedSymbolException
 
UndefinedSymbolException(String) - Constructor for exception org.oristool.lello.exception.UndefinedSymbolException
 
UndefinedSymbolException(String, Throwable) - Constructor for exception org.oristool.lello.exception.UndefinedSymbolException
 
UndefinedSymbolException(Throwable) - Constructor for exception org.oristool.lello.exception.UndefinedSymbolException
 
UniformSampler - Class in org.oristool.simulator.samplers
Sampler for uniform random variables.
UniformSampler(BigDecimal, BigDecimal) - Constructor for class org.oristool.simulator.samplers.UniformSampler
 
UNKNOWN - org.oristool.lello.parse.TerminalKind
An unknown terminal symbol.
unset(String) - Method in class org.oristool.lello.Bindings
Destroys a variable.
update(Marking, PetriNet, Transition) - Method in interface org.oristool.models.pn.MarkingUpdater
Updates the input marking after the firing of the given transition.
update(Marking, PetriNet, Transition) - Method in class org.oristool.models.pn.PetriTokensAdder
Adds tokens to each output place according to the multiplicity of the postcondition.
update(Marking, PetriNet, Transition) - Method in class org.oristool.models.pn.PetriTokensRemover
Removes tokens from each input place according to the multiplicity of the precondition.
update(Marking, PetriNet, Transition) - Method in class org.oristool.models.pn.PostUpdater
 
update(Reward.RewardEvent) - Method in class org.oristool.simulator.rewards.RewardEvaluator
 
update(Reward.RewardEvent) - Method in interface org.oristool.simulator.rewards.RewardObserver
 
update(RewardEvaluator.RewardEvaluatorEvent) - Method in interface org.oristool.simulator.rewards.RewardEvaluatorObserver
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.rewards.BasicReward
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.rewards.SymbolicPrefixReward
 
update(Sequencer.SequencerEvent) - Method in interface org.oristool.simulator.SequencerObserver
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.stpn.SteadyStateMarkingProbability
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.stpn.TransientMarkingConditionProbability
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.stpn.TransientMarkingProbability
 
update(Sequencer.SequencerEvent) - Method in class org.oristool.simulator.stpn.TransitionAbsoluteFiringTime
 
updateMarking(Marking) - Method in class org.oristool.models.pn.PlaceFlusher
 

V

validateName(String) - Static method in class org.oristool.lello.parse.LelloLexer
Checkes whether a string is a valid identifier.
ValidationMessageCollector - Class in org.oristool.models
A collector of error messages for the user.
ValidationMessageCollector() - Constructor for class org.oristool.models.ValidationMessageCollector
 
ValidationMessageCollector.Level - Enum in org.oristool.models
 
ValidationMessageCollector.Message - Class in org.oristool.models
 
value() - Method in class org.oristool.models.gspn.reachability.FiringProbability
 
value() - Method in class org.oristool.models.pn.Priority
 
Value - Class in org.oristool.lello
Represent a value of one of the supported types in Lello.
Value(boolean) - Constructor for class org.oristool.lello.Value
Initializes a value to a given boolean.
Value(double) - Constructor for class org.oristool.lello.Value
Initializes a value to a given real.
Value(int) - Constructor for class org.oristool.lello.Value
Initializes a value to a given integer.
Value(String) - Constructor for class org.oristool.lello.Value
Initializes a value to a given string.
Value.Type - Enum in org.oristool.lello
Represents the value type.
ValueException - Exception in org.oristool.lello.exception
Describes an exceptional event occurred as a result of attempting an operation that was illegal for a certain data type.
ValueException() - Constructor for exception org.oristool.lello.exception.ValueException
 
ValueException(String) - Constructor for exception org.oristool.lello.exception.ValueException
 
ValueException(String, Throwable) - Constructor for exception org.oristool.lello.exception.ValueException
 
ValueException(Throwable) - Constructor for exception org.oristool.lello.exception.ValueException
 
ValueFields - Class in org.oristool.lello
This class is a container of static fields which can be accessed from within the Lello interpreter with their qualified or unqualified Java name.
ValueFields() - Constructor for class org.oristool.lello.ValueFields
 
ValueFuncs - Class in org.oristool.lello
This class is a container of static methods which can be called from within the Lello interpreter with their qualified or unqualified Java name; it also acts as a container of shared resources on which the methods may depend, such as output streams and open files.
ValueFuncs() - Constructor for class org.oristool.lello.ValueFuncs
 
valueOf(String) - Static method in enum org.oristool.analyzer.log.NoOpLogger
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.analyzer.log.NoOpMonitor
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.analyzer.NoOpProcessor
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.analyzer.state.LocalStop
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.lello.ast.UnaryExpression.UnaryOperationType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.lello.parse.TerminalKind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.lello.Truth
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.lello.Value.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.models.ValidationMessageCollector.Level
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.simulator.rewards.Reward.RewardEvent
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.simulator.rewards.RewardEvaluator.RewardEvaluatorEvent
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.oristool.simulator.Sequencer.SequencerEvent
Returns the enum constant of this type with the specified name.
ValueOperations - Class in org.oristool.lello
This class contains all the logic behind Lello unary and binary operators.
ValueOperations() - Constructor for class org.oristool.lello.ValueOperations
 
values() - Static method in enum org.oristool.analyzer.log.NoOpLogger
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.analyzer.log.NoOpMonitor
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.analyzer.NoOpProcessor
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.analyzer.state.LocalStop
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.lello.ast.UnaryExpression.UnaryOperationType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.lello.parse.TerminalKind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.lello.Truth
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.lello.Value.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.models.ValidationMessageCollector.Level
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.simulator.rewards.Reward.RewardEvent
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.simulator.rewards.RewardEvaluator.RewardEvaluatorEvent
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.oristool.simulator.Sequencer.SequencerEvent
Returns an array containing the constants of this enum type, in the order they are declared.
ValueToObject(Value) - Static method in class org.oristool.lello.JavaInterop
Converts a Lello value to a Java object.
ValueToObject(Value, Class<?>) - Static method in class org.oristool.lello.JavaInterop
Converts a Lello value to a Java object of a specific class.
Variable - Class in org.oristool.lello.ast
Represents an expression consisting of a variable reference.
Variable - Class in org.oristool.math.expression
A generic variable-name holder.
Variable(String) - Constructor for class org.oristool.lello.ast.Variable
Initializes a new variable reference expression.
Variable(String) - Constructor for class org.oristool.math.expression.Variable
Builds a variable from a string.
variables() - Method in class org.oristool.lello.ast.BinaryExpression
 
variables() - Method in class org.oristool.lello.ast.Brackets
 
variables() - Method in class org.oristool.lello.ast.Constant
 
variables() - Method in class org.oristool.lello.ast.Expression
Retrieves the names of all the variables appearing in this expression.
variables() - Method in class org.oristool.lello.ast.FunctionCall
 
variables() - Method in class org.oristool.lello.ast.UnaryExpression
 
variables() - Method in class org.oristool.lello.ast.Variable
 
VERSION_STRING - Static variable in class org.oristool.lello.ValueFields
The current version name of Lello.
visitBinaryExpression(BinaryExpression) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitBinaryExpression(BinaryExpression) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by a binary expression.
visitBinaryExpression(Bindings, BinaryExpression) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitBinaryExpression(Bindings, BinaryExpression) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by a binary expression.
visitBrackets(Brackets) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitBrackets(Brackets) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by a bracket expression.
visitBrackets(Bindings, Brackets) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitBrackets(Bindings, Brackets) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by a bracket expression.
visitConstant(Constant) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitConstant(Constant) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by a constant.
visitConstant(Bindings, Constant) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitConstant(Bindings, Constant) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by a constant.
visitExpression(Expression) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitExpression(Expression) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by an expression when no other method is compatible.
visitFunctionCall(FunctionCall) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitFunctionCall(FunctionCall) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by a function call expression.
visitFunctionCall(Bindings, FunctionCall) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitFunctionCall(Bindings, FunctionCall) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by a function call expression.
visitUnaryExpression(UnaryExpression) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitUnaryExpression(UnaryExpression) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by an unary expression.
visitUnaryExpression(Bindings, UnaryExpression) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitUnaryExpression(Bindings, UnaryExpression) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by an unary expression.
visitVariable(Variable) - Method in class org.oristool.lello.visitor.DefaultFormatter
 
visitVariable(Variable) - Method in interface org.oristool.lello.visitor.FormatVisitor
Called by a variable reference.
visitVariable(Bindings, Variable) - Method in class org.oristool.lello.visitor.DefaultSimplification
 
visitVariable(Bindings, Variable) - Method in interface org.oristool.lello.visitor.SymbolicVisitor
Called by a variable reference.

W

WARNING - org.oristool.models.ValidationMessageCollector.Level
 
weight() - Method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Returns the weight this instance.
weight(int) - Method in class org.oristool.models.gspn.chains.FoxGlynn
Returns the weight of a point in the approximation.
weightProbs(Collection<Transition>, Marking) - Static method in class org.oristool.models.stpn.trees.StochasticTransitionFeature
Computes the discrete distribution determined by weights.

X

X - Static variable in class org.oristool.math.expression.Variable
 

Y

YES - org.oristool.lello.Truth
It means to be sure that some condition holds.

Z

Zero(Value) - Static method in class org.oristool.lello.ValueFuncs
Acts as a constant function which is always zero.
ZERO - Static variable in class org.oristool.math.OmegaBigDecimal
 
ZERO - Static variable in interface org.oristool.models.stpn.MarkingExpr
 
A B C D E F G H I J L M N O P R S T U V W X Y Z 
Skip navigation links

Copyright © 2018 STLAB. All rights reserved.