Index (Sirio 2.0.3 API)

A B C D E F G H I J K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

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(RewardEvaluatorObserver) - Method in class org.oristool.simulator.rewards.RewardEvaluatorTimeout: 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 - Enum constant in enum org.oristool.lello.parse.TerminalKind: An arithmetic binary operator which has the same precedence as the multiplication.
BIN_OP_LOGIC_FACTORS - Enum constant in enum org.oristool.lello.parse.TerminalKind: A logic binary operator which has the same precedence as logical and.
BIN_OP_LOGIC_TERMS - Enum constant in enum org.oristool.lello.parse.TerminalKind: A logic binary operator which has the same precedence as logical or.
BIN_OP_POWERS - Enum constant in enum org.oristool.lello.parse.TerminalKind: An arithmetic binary operator which has the same precedence as the power.
BIN_OP_RELS - Enum constant in enum org.oristool.lello.parse.TerminalKind: A relational binary operator such as == or <=.
BIN_OP_TERMS - Enum constant in enum 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 - Enum constant in enum org.oristool.lello.parse.TerminalKind: A closing bracket.
BRACKET_OPEN - Enum constant in enum 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 - Enum constant in enum 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.
computeDerivativeSolution() - Method in class org.oristool.models.stpn.TransientSolution: Computes the derivative of each time series.
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].
ConcurrencyTransitionFeature - Class in org.oristool.models.tpn
ConcurrencyTransitionFeature(String) - Constructor for class org.oristool.models.tpn.ConcurrencyTransitionFeature: Builds a timed feature from minimum/maximum firing times specified as strings.
ConcurrencyTransitionFeature(BigInteger) - Constructor for class org.oristool.models.tpn.ConcurrencyTransitionFeature
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 - Enum constant in enum org.oristool.lello.parse.TerminalKind: A BOOLEAN constant.
CONSTANT_INTEGER - Enum constant in enum org.oristool.lello.parse.TerminalKind: An INTEGER constant.
CONSTANT_NIL - Enum constant in enum org.oristool.lello.parse.TerminalKind: Represents the constant nil.
CONSTANT_REAL - Enum constant in enum org.oristool.lello.parse.TerminalKind: A REAL constant.
CONSTANT_STRING - Enum constant in enum 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 - Enum constant in enum 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

EmpiricalTransitionFeature - Class in org.oristool.models.stpn.trees
EmpiricalTransitionFeature(ArrayList<BigDecimal>, BigDecimal, BigDecimal) - Constructor for class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
EmpiricalTransitionSampler - Class in org.oristool.simulator.samplers
EmpiricalTransitionSampler(ArrayList<BigDecimal>, BigDecimal, BigDecimal) - Constructor for class org.oristool.simulator.samplers.EmpiricalTransitionSampler
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 - Enum constant in enum 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 - Enum constant in enum 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.
evaluateByClass() - Method in class org.oristool.models.stpn.trans.TreeTransient: Whether transient probabilities should be evaluated by stochastic state class (for each time tick until the time bound).
evaluateByClass(boolean) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder: Whether transient probabilities should be evaluated by stochastic state class (for each time tick until the time bound).
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 - Enum constant in enum 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.
getBinsNumber() - Method in class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
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.
getC() - Method in class org.oristool.models.tpn.ConcurrencyTransitionFeature
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
getHistogramCDF() - Method in class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
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
getLower() - Method in class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
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
getR() - Method in class org.oristool.models.tpn.RegenerationEpochLengthTransitionFeature
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
getResult() - Method in class org.oristool.simulator.rewards.RewardEvaluatorTimeout
getReward() - Method in class org.oristool.simulator.rewards.RewardEvaluator
getReward() - Method in class org.oristool.simulator.rewards.RewardEvaluatorTimeout
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.EmpiricalTransitionSampler
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.PartitionedFunctionSampler
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.ShiftedExponentialSampler
getSample() - Method in class org.oristool.simulator.samplers.TruncatedExponentialSampler
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
getTimeout() - Method in class org.oristool.simulator.rewards.RewardEvaluatorTimeout
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.
getUpper() - Method in class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
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.
globalEvaluationPeriod() - Method in class org.oristool.models.stpn.trans.RegTransient: Returns the number of time steps after which the global kernel is evaluated.
globalEvaluationPeriod(int) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder: Sets the evaluation period for the global kernel (in time steps).
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 - Enum constant in enum 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.
imposeInterval(Variable, OmegaBigDecimal, OmegaBigDecimal) - Method in class org.oristool.math.function.StateDensityFunction: Intersects the support with the input bound min <= v <= max 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 - Enum constant in enum org.oristool.analyzer.log.NoOpLogger
INSTANCE - Enum constant in enum org.oristool.analyzer.log.NoOpMonitor
INSTANCE - Enum constant in enum org.oristool.analyzer.NoOpProcessor
INSTANCE - Enum constant in enum org.oristool.analyzer.state.LocalStop
INTEGER - Enum constant in enum 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.
isClose(TransientSolution<String, String>, double) - Method in class org.oristool.models.stpn.TransientSolution
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.
isImmediate() - Method in class org.oristool.models.tpn.TimedTransitionFeature
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
jsDistance(TransientSolution<T, U>, int, int, int, int) - Method in class org.oristool.models.stpn.TransientSolution: Computes the Jensen-Shannon distance between the time series of state (i,j) for this solution, and (u,v) for the other.

K

klDivergence(double, double) - Static method in class org.oristool.models.stpn.TransientSolution: Computes the Kullback-Leibler divergence on the input probability values.
klDivergence(TransientSolution<T, U>, int, int, int, int) - Method in class org.oristool.models.stpn.TransientSolution: Computes the Kullback-Leibler divergence between the time series of state (i,j) for this solution, and (u,v) for the other.

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.
localEvaluationPeriod() - Method in class org.oristool.models.stpn.trans.RegTransient: Returns the number of time steps after which the local kernel is evaluated.
localEvaluationPeriod(int) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder: Sets the evaluation period for the local kernel (in time steps).
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
markingFilter() - Method in class org.oristool.models.stpn.trans.RegTransient: Returns the predicate used to select markings for which transient probabilities are computed by this analysis.
markingFilter() - Method in class org.oristool.models.stpn.trans.TreeTransient: Returns the predicate used to select markings for which transient probabilities are computed by this analysis.
markingFilter(MarkingCondition) - Method in class org.oristool.models.stpn.trans.RegTransient.Builder: Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
markingFilter(MarkingCondition) - Method in class org.oristool.models.stpn.trans.TreeTransient.Builder: Uses a marking condition to select markings for which transient probabilities are computed by this analysis.
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).
newInstance(ArrayList<BigDecimal>, BigDecimal, BigDecimal) - Static method in class org.oristool.models.stpn.trees.EmpiricalTransitionFeature
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 - Enum constant in enum org.oristool.lello.Value.Type
NO - Enum constant in enum 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
nonZero(double, RewardRate[]) - Static method in class org.oristool.models.stpn.RewardRate: Builds a marking condition that matches markings with nonzero reward.
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.
PartitionedFunctionSampler - Class in org.oristool.simulator.samplers: Sampler for partitioned functions.
PartitionedFunctionSampler(PartitionedFunction) - Constructor for class org.oristool.simulator.samplers.PartitionedFunctionSampler: Creates a new sampler.
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 this^n.
Precondition - Class in org.oristool.petrinet: Precondition of a Petri net.
PreconditionFeature - Interface in org.oristool.petrinet: Generic feature of a Precondition.
PREFIX - Enum constant in enum org.oristool.lello.ast.UnaryExpression.UnaryOperationType: Prefix operator.
PREFIX_OP - Enum constant in enum org.oristool.lello.parse.TerminalKind: A prefixed arithmetic unary operator.
PREFIX_OP_LOGIC - Enum constant in enum 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.
readCSV(Reader) - Static method in class org.oristool.models.stpn.TransientSolution
readCSV(String) - Static method in class org.oristool.models.stpn.TransientSolution
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 - Enum constant in enum 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
RegenerationEpochLengthTransitionFeature - Class in org.oristool.models.tpn
RegenerationEpochLengthTransitionFeature(BigInteger) - Constructor for class org.oristool.models.tpn.RegenerationEpochLengthTransitionFeature: Builds a timed feature from minimum/maximum firing times specified as strings.
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(RewardEvaluatorObserver) - Method in class org.oristool.simulator.rewards.RewardEvaluatorTimeout
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 - Enum constant in enum 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.
RewardEvaluatorTimeout - Class in org.oristool.simulator.rewards: Evaluator collecting the values of a reward over multiple runs with given total duration.
RewardEvaluatorTimeout(Reward, long) - Constructor for class org.oristool.simulator.rewards.RewardEvaluatorTimeout: Builds an evaluator for a given reward and duration (expressed in seconds).
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
rewardRates(String) - Static method in class org.oristool.models.stpn.TransientSolution: Creates reward evaluators from a string of expressions separated by semicolon.
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 - Enum constant in enum org.oristool.simulator.rewards.Reward.RewardEvent
RUN_END - Enum constant in enum org.oristool.simulator.Sequencer.SequencerEvent
RUN_START - Enum constant in enum 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.
ShiftedExponentialSampler - Class in org.oristool.simulator.samplers
ShiftedExponentialSampler(BigDecimal, BigDecimal) - Constructor for class org.oristool.simulator.samplers.ShiftedExponentialSampler
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 - Enum constant in enum org.oristool.simulator.Sequencer.SequencerEvent
SIMULATION_START - Enum constant in enum org.oristool.simulator.rewards.Reward.RewardEvent
SIMULATION_START - Enum constant in enum 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 - Enum constant in enum 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 - Enum constant in enum org.oristool.lello.ast.UnaryExpression.UnaryOperationType: Suffix operator.
SUFFIX_OP - Enum constant in enum org.oristool.lello.parse.TerminalKind: A suffixed arithmetic unary operator.
SUFFIX_OP_LOGIC - Enum constant in enum org.oristool.lello.parse.TerminalKind: A suffixed logic unary operator.
sumsToOne(double) - Method in class org.oristool.models.stpn.TransientSolution
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
TruncatedExponentialSampler - Class in org.oristool.simulator.samplers
TruncatedExponentialSampler(BigDecimal, BigDecimal, BigDecimal) - Constructor for class org.oristool.simulator.samplers.TruncatedExponentialSampler
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: Creates a uniform sampler between min and max.
UNKNOWN - Enum constant in enum 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 class org.oristool.simulator.rewards.RewardEvaluatorTimeout
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 - Enum constant in enum 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.
writeCSV(Writer, int) - Method in class org.oristool.models.stpn.TransientSolution
writeCSV(String, int) - Method in class org.oristool.models.stpn.TransientSolution

X

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

Y

YES - Enum constant in enum 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 K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form