Uses of Class
org.oristool.math.OmegaBigDecimal

Packages that use OmegaBigDecimal

Package	Description
org.oristool.math	Provides classes for the encoding and manipulation of PDFs.
org.oristool.math.domain	PDF supports.
org.oristool.math.expression	Expolynomial densities.
org.oristool.math.function	PDF densities.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.

Uses of OmegaBigDecimal in org.oristool.math

Fields in org.oristool.math declared as OmegaBigDecimal

Modifier and Type	Field	Description
static final OmegaBigDecimal	OmegaBigDecimal.NEGATIVE_INFINITY
static final OmegaBigDecimal	OmegaBigDecimal.ONE
static final OmegaBigDecimal	OmegaBigDecimal.POSITIVE_INFINITY
static final OmegaBigDecimal	OmegaBigDecimal.TEN
static final OmegaBigDecimal	OmegaBigDecimal.ZERO

Methods in org.oristool.math that return OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	OmegaBigDecimal.abs()	Returns the absolute value of this number.
OmegaBigDecimal	OmegaBigDecimal.add(OmegaBigDecimal augend)	Returns an OmegaBigDecimal whose value is (this + augend).
OmegaBigDecimal	OmegaBigDecimal.divide(BigDecimal divisor, MathContext mc)	Returns a OmegaBigDecimal whose value is (this / divisor), with rounding according to the context settings.
OmegaBigDecimal	OmegaBigDecimal.max(OmegaBigDecimal val)	Returns the maximum of this OmegaBigDecimal and val.
OmegaBigDecimal	OmegaBigDecimal.min(OmegaBigDecimal val)	Returns the minimum of this OmegaBigDecimal and val.
OmegaBigDecimal	OmegaBigDecimal.multiply(OmegaBigDecimal multiplicand)	Returns an OmegaBigDecimal whose value is this * multiplicand.
OmegaBigDecimal	OmegaBigDecimal.negate()	Returns the opposite of this number.
OmegaBigDecimal	OmegaBigDecimal.pow(int n)	Returns an OmegaBigDecimal whose value is this^n.
OmegaBigDecimal	OmegaBigDecimal.subtract(OmegaBigDecimal subtrahend)	Returns an OmegaBigDecimal whose value is (this - subtrahend).
OmegaBigDecimal	OmegaBigDecimal.toLeftNeighborhood()	Returns the left neighborhood of this value.
OmegaBigDecimal	OmegaBigDecimal.toRightNeighborhood()	Returns the right neighborhood of this value.

Methods in org.oristool.math with parameters of type OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	OmegaBigDecimal.add(OmegaBigDecimal augend)	Returns an OmegaBigDecimal whose value is (this + augend).
int	OmegaBigDecimal.compareTo(OmegaBigDecimal o)
OmegaBigDecimal	OmegaBigDecimal.max(OmegaBigDecimal val)	Returns the maximum of this OmegaBigDecimal and val.
OmegaBigDecimal	OmegaBigDecimal.min(OmegaBigDecimal val)	Returns the minimum of this OmegaBigDecimal and val.
OmegaBigDecimal	OmegaBigDecimal.multiply(OmegaBigDecimal multiplicand)	Returns an OmegaBigDecimal whose value is this * multiplicand.
OmegaBigDecimal	OmegaBigDecimal.subtract(OmegaBigDecimal subtrahend)	Returns an OmegaBigDecimal whose value is (this - subtrahend).

Uses of OmegaBigDecimal in org.oristool.math.domain

Methods in org.oristool.math.domain that return OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	DBMZone.getBound(Variable left, Variable right)	Returns the upper bound for the difference left-right between two variables, which is the constant c of a constraint left-right <= c.
OmegaBigDecimal	DBMZone.getCoefficient(Variable left, Variable right)	Returns the constant c for the constraint left-right <= c.
OmegaBigDecimal	DBMZone.Subzone.getMaxVarAdvance()
OmegaBigDecimal	DBMZone.getMinLFT(Set<Variable> vars)	Returns the minimum value that any of the input variables can take inside this zone.
OmegaBigDecimal	DBMZone.Subzone.getMinVarDelay()

Methods in org.oristool.math.domain with parameters of type OmegaBigDecimal

Modifier and Type	Method	Description
void	DBMZone.imposeBound(Variable left, Variable right, OmegaBigDecimal coefficient)	Imposes an upper bound for the difference left-right.
void	DBMZone.setCoefficient(Variable left, Variable right, OmegaBigDecimal coefficient)	Sets the constant c for the constraints left-right.

Method parameters in org.oristool.math.domain with type arguments of type OmegaBigDecimal

Modifier and Type	Method	Description
boolean	DBMZone.contains(Map<Variable,OmegaBigDecimal> point)	Checks if this zone contains the input point.

Constructors in org.oristool.math.domain with parameters of type OmegaBigDecimal

Modifier	Constructor	Description
	Subzone(DBMZone domain, Variable projectedVar, Variable minVar, OmegaBigDecimal minVarDelay, Variable maxVar, OmegaBigDecimal maxVarAdvance)	Creates a representation of a subzone resulting from a projection.

Uses of OmegaBigDecimal in org.oristool.math.expression

Methods in org.oristool.math.expression that return OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	AtomicTerm.evaluate(OmegaBigDecimal value)	Evaluates the atomic term substituting value to its variable.
OmegaBigDecimal	Exmonomial.evaluate(Map<Variable,OmegaBigDecimal> m)	Evaluates the exmonomial.
OmegaBigDecimal	Expolynomial.evaluate(Map<Variable,OmegaBigDecimal> m)	Evaluates the expolynomial.
OmegaBigDecimal	ExponentialTerm.evaluate(OmegaBigDecimal value)
OmegaBigDecimal	MonomialTerm.evaluate(OmegaBigDecimal value)
OmegaBigDecimal	Expolynomial.getConstant()	Returns the constant value of this expolynomial of throws an IllegalStateException exception if the expolynomial is not constant.
OmegaBigDecimal	Exmonomial.getConstantTerm()	Gets the constant multiplier of the term.

Methods in org.oristool.math.expression with parameters of type OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	AtomicTerm.evaluate(OmegaBigDecimal value)	Evaluates the atomic term substituting value to its variable.
Exmonomial	Exmonomial.evaluate(Variable var, OmegaBigDecimal value)	Replaces a variable with its value.
Expolynomial	Expolynomial.evaluate(Variable var, OmegaBigDecimal value)	Replaces a variable with its value.
OmegaBigDecimal	ExponentialTerm.evaluate(OmegaBigDecimal value)
OmegaBigDecimal	MonomialTerm.evaluate(OmegaBigDecimal value)
Expolynomial	Exmonomial.integrate(Variable var, OmegaBigDecimal lower, OmegaBigDecimal upper)	Integrates this exmonomial over an interval.
Expolynomial	Expolynomial.integrate(Variable var, OmegaBigDecimal lower, OmegaBigDecimal upper)	Integrates this expolynomial over an interval.
void	Exmonomial.multiply(OmegaBigDecimal c)	Multiplies this exmonomial by a constant.
static Expolynomial	Expolynomial.newConstantInstance(OmegaBigDecimal value)	Builds a new instance equal to a given constant.
void	Exmonomial.setConstantTerm(OmegaBigDecimal constantTerm)	Sets the constant multiplier of the term.

Method parameters in org.oristool.math.expression with type arguments of type OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	Exmonomial.evaluate(Map<Variable,OmegaBigDecimal> m)	Evaluates the exmonomial.
OmegaBigDecimal	Expolynomial.evaluate(Map<Variable,OmegaBigDecimal> m)	Evaluates the expolynomial.

Constructors in org.oristool.math.expression with parameters of type OmegaBigDecimal

Modifier	Constructor	Description
	Exmonomial(OmegaBigDecimal constantTerm)	Builds a constant instance.

Uses of OmegaBigDecimal in org.oristool.math.function

Methods in org.oristool.math.function that return OmegaBigDecimal

Modifier and Type	Method	Description
default OmegaBigDecimal	PartitionedFunction.getDomainsEFT()	Returns the minimum value across all subdomains.
default OmegaBigDecimal	PartitionedFunction.getDomainsLFT()	Returns the maximum value across all subdomains.
OmegaBigDecimal	StateDensityFunction.getMaxBound(Set<Variable> leftVars, Set<Variable> rightVars)	Returns the maximum upper bound on the difference left - right between variables in two sets.
OmegaBigDecimal	StateDensityFunction.getMaxBound(Variable left, Variable right)	Returns the maximum upper bound on the difference left - right between two variables.
OmegaBigDecimal	StateDensityFunction.getMinBound(Set<Variable> leftVars, Set<Variable> rightVars)	Returns the minimum upper bound on the difference left - right between variables in two sets.
OmegaBigDecimal	StateDensityFunction.getMinBound(Variable left, Variable right)	Returns the minimum upper bound on the difference left - right between two variables.
OmegaBigDecimal	GEN.integrateOverDomain()	Integrates the PDF over its support.
OmegaBigDecimal	PartitionedGEN.integrateOverDomain()	Integrates this PDF over the support.

Methods in org.oristool.math.function with parameters of type OmegaBigDecimal

Modifier and Type	Method	Description
BigDecimal	StateDensityFunction.conditionAllToBound(Variable leftVar, Set<Variable> rightVars, OmegaBigDecimal bound)	Imposes the bound leftVar - rightVar <= bound on the support for all pairs of left/right variables, keeping only subzones with nonzero measure.
BigDecimal	GEN.conditionToBound(Variable v, OmegaBigDecimal min, OmegaBigDecimal max)	Imposes the bound min <= v <= max and normalizes the density.
BigDecimal	PartitionedGEN.conditionToBound(Variable v, OmegaBigDecimal min, OmegaBigDecimal max)	Imposes the bound min <= v <= max and normalizes the density.
BigDecimal	StateDensityFunction.conditionToInterval(Variable v, OmegaBigDecimal min, OmegaBigDecimal max)	Imposes the bound x <= v <= y on the support, keeping only subzones with nonzero measure.
BigDecimal	GEN.conditionToMax(Variable v, OmegaBigDecimal max)	Imposes the bound v <= max and normalizes the density.
BigDecimal	PartitionedGEN.conditionToMax(Variable v, OmegaBigDecimal max)	Imposes the bound v <= max and normalizes the density.
BigDecimal	GEN.conditionToMin(Variable v, OmegaBigDecimal min)	Imposes the bound v >= min and normalizes the density.
BigDecimal	PartitionedGEN.conditionToMin(Variable v, OmegaBigDecimal min)	Imposes the bound v >= min and normalizes the density.
void	StateDensityFunction.imposeBound(Variable leftVar, Set<Variable> rightVars, OmegaBigDecimal bound)	Imposes the bound leftVar - rightVar <= bound on the support for all pairs of left/right variables, keeping only subzones with nonzero measure.
void	StateDensityFunction.imposeBound(Variable leftVar, Variable rightVar, OmegaBigDecimal bound)	Imposes the bound leftVar - rightVar <= bound on the support, keeping only subzones with nonzero measure.
void	StateDensityFunction.imposeInterval(Variable v, OmegaBigDecimal min, OmegaBigDecimal max)	Intersects the support with the input bound min <= v <= max on the support, keeping only subzones with nonzero measure.
static GEN	GEN.newExpolynomial(String density, OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds a PDF from an input string.
static GEN	GEN.newTruncatedExp(Variable v, BigDecimal rate, OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds the PDF of a truncated EXP.
static GEN	GEN.newUniform(OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds the PDF of a uniform variable.

Uses of OmegaBigDecimal in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees that return OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	TransientStochasticStateFeature.getEnteringTimeLowerBound(StochasticStateFeature s)	Returns the lower bound on the entering time for this transient state class.
OmegaBigDecimal	TransientStochasticStateFeature.getEnteringTimeUpperBound(StochasticStateFeature s)	Returns the upper bound on the entering time for this transient state class.
OmegaBigDecimal	TruncationPolicy.getTauAgeLimit()
OmegaBigDecimal	TransientStochasticStateFeature.getTimeUpperBound(StochasticStateFeature s)	After timeUpperBound the probability of being in this class is zero.

Methods in org.oristool.models.stpn.trees with parameters of type OmegaBigDecimal

Modifier and Type	Method	Description
void	StochasticStateFeature.addTruncatedExp(Variable v, BigDecimal rate, OmegaBigDecimal lft)	Adds a truncated EXP [0, lft] to the state density.
BigDecimal	TransientStochasticStateFeature.computeTransientClassProbability(OmegaBigDecimal time, StochasticStateFeature s)	Computes the probability of being in this class at the specified time.
BigDecimal	TransientStochasticStateFeature.computeVisitedProbability(OmegaBigDecimal alpha, OmegaBigDecimal beta, StochasticStateFeature s)	Computes the probability of reaching this class at a time within the given interval [alpha,beta].
static StochasticTransitionFeature	StochasticTransitionFeature.newExpolynomial(String density, OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds the stochastic feature of a transition where the timer distribution is an expolynomial.

Constructors in org.oristool.models.stpn.trees with parameters of type OmegaBigDecimal

Modifier	Constructor	Description
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	RegenerativeComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, SuccessionProcessor postProcessor, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, StopCriterion stopCriterion, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticComponentsFactory(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, EnumerationPolicy policy, OmegaBigDecimal tauAgeLimit, MarkingCondition stopCondition, BigDecimal epsilon, int numSamples, AnalysisMonitor monitor)	Builds a factory for STPN analysis.
	StochasticSuccessionEvaluator(boolean transientAnalysis, MarkingUpdater tokensRemover, MarkingUpdater tokensAdder, boolean checkNewlyEnabled, OmegaBigDecimal tauAgeLimit)	Builds a succession evaluator with a given token remover and adder.
	TruncationPolicy(BigDecimal epsilon, OmegaBigDecimal tauAgeLimit)	Builds a truncation policy for a given time limit and allowed error (total probability mass of discarded nodes).

Uses of OmegaBigDecimal in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return OmegaBigDecimal

Modifier and Type	Method	Description
OmegaBigDecimal	TimedTransitionFeature.getEFT()
OmegaBigDecimal	TimedTransitionFeature.getLFT()

Constructors in org.oristool.models.tpn with parameters of type OmegaBigDecimal

Modifier	Constructor	Description
	TimeBoundStopCriterion(OmegaBigDecimal timeBound)
	TimedTransitionFeature(OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds a timed feature from minimum/maximum firing times.