Uses of Class
org.oristool.math.expression.Variable

Packages that use Variable

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.petrinet	Petri net representation.

Uses of Variable in org.oristool.math

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

Modifier and Type	Method	Description
static Set<DBMZone.Subzone>	Calculus.cpsz(DBMZone d, Variable v)
static Set<DBMZone.Subzone>	Calculus.cspsz(DBMZone d, Variable k)

Uses of Variable in org.oristool.math.domain

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

Modifier and Type	Method	Description
Variable	DBMZone.Subzone.getMaxVar()
Variable	DBMZone.Subzone.getMinVar()
Variable	DBMZone.Subzone.getProjectedVar()

Methods in org.oristool.math.domain that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable>	DBMZone.getNullDelayVariables(Variable v)	Finds the variables synchronized with the input one.
Set<Variable>	DBMZone.getVariables()

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

Modifier and Type	Method	Description
void	DBMZone.addVariables(Variable... vars)
boolean	DBMZone.canVariableBeLowerOrEqual(Variable var, Collection<Variable> others)	Checks if a variable can be the minimum among a set of variables.
boolean	DBMZone.canVariableBeLowestOrEqual(Variable var)	Checks if a variable can be the minimum in the zone.
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.
Set<Variable>	DBMZone.getNullDelayVariables(Variable v)	Finds the variables synchronized with the input one.
void	DBMZone.imposeBound(Variable left, Variable right, OmegaBigDecimal coefficient)	Imposes an upper bound for the difference left-right.
void	DBMZone.imposeVarLower(Variable var, Collection<Variable> others)	Imposes the bound var-x <= 0 for each x in others.
void	DBMZone.imposeVarLowerAndNormalize(Variable var, Collection<Variable> others)	Imposes the bound var-x <= 0 for each x in others.
boolean	DBMZone.isSyncronized(Variable x, Variable y)
void	DBMZone.projectVariable(Variable v)	Discards the constraints of the input variable.
void	DBMZone.projectVariables(Variable... vars)
void	DBMZone.setCoefficient(Variable left, Variable right, OmegaBigDecimal coefficient)	Sets the constant c for the constraints left-right.
void	DBMZone.setNewGround(Variable v)	Discards the constraints of the input variable and uses it as the new ground.
void	DBMZone.substitute(Variable oldVar, Variable newVar)	Replaces the name of a variable in all of its constraints.
void	DBMZone.substitute(Variable oldVar, Variable newVar, BigDecimal coefficient)	Replaces the name of a variable and applies a constant shift.

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

Modifier and Type	Method	Description
void	DBMZone.addVariables(Collection<Variable> vars)	Introduces new variables in this zone.
boolean	DBMZone.canVariableBeLowerOrEqual(Variable var, Collection<Variable> others)	Checks if a variable can be the minimum among a set of variables.
void	DBMZone.constantShift(BigDecimal constant, Collection<Variable> variables)	Applies a constant shift to a set of variables.
boolean	DBMZone.contains(Map<Variable,OmegaBigDecimal> point)	Checks if this zone contains the input point.
OmegaBigDecimal	DBMZone.getMinLFT(Set<Variable> vars)	Returns the minimum value that any of the input variables can take inside this zone.
void	DBMZone.imposeVarLower(Variable var, Collection<Variable> others)	Imposes the bound var-x <= 0 for each x in others.
void	DBMZone.imposeVarLowerAndNormalize(Variable var, Collection<Variable> others)	Imposes the bound var-x <= 0 for each x in others.
void	DBMZone.projectVariables(Collection<Variable> vars)	Discards the constraints of a set of variables.

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

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

Constructor parameters in org.oristool.math.domain with type arguments of type Variable

Modifier	Constructor	Description
	DBMZone(Collection<Variable> vars)	Creates a zone for the given variables, without constraints.

Uses of Variable in org.oristool.math.expression

Fields in org.oristool.math.expression declared as Variable

Modifier and Type	Field	Description
static final Variable	Variable.AGE
static final Variable	Variable.TSTAR
static final Variable	Variable.X

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

Modifier and Type	Method	Description
Variable	AtomicTerm.getVariable()	Returns the variable associated with the atomic term.
Variable	ExponentialTerm.getVariable()
Variable	MonomialTerm.getVariable()

Methods in org.oristool.math.expression that return types with arguments of type Variable

Modifier and Type	Method	Description
Collection<Variable>	Exmonomial.getVariables()	Collects the variable names of the exmonomial.
Collection<Variable>	Expolynomial.getVariables()	Returns all the variables used in this expolynomial.

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

Modifier and Type	Method	Description
int	Variable.compareTo(Variable other)
Expolynomial	Exmonomial.evaluate(Variable base, Boolean sign1, Variable offset1, Boolean sign2, Variable offset2, BigDecimal constant)	Replaces base with +/- offset1 +/- offset2 + constant.
Expolynomial	Exmonomial.evaluate(Variable base, Boolean sign, Variable offset, BigDecimal constant)	Replaces base with +/- offset + constant.
Exmonomial	Exmonomial.evaluate(Variable var, OmegaBigDecimal value)	Replaces a variable with its value.
Expolynomial	Expolynomial.evaluate(Variable base, boolean sign1, Variable offset1, boolean sign2, Variable offset2, BigDecimal constant)	Replaces base with +/- offset1 +/- offset2 + constant.
Expolynomial	Expolynomial.evaluate(Variable base, boolean sign, Variable offset, BigDecimal constant)	Replaces base with +/- offset + constant.
Expolynomial	Expolynomial.evaluate(Variable var, OmegaBigDecimal value)	Replaces a variable with its value.
Expolynomial	Exmonomial.integrate(Variable var)	Computes the primitive function of this exmonomial.
Expolynomial	Exmonomial.integrate(Variable var, OmegaBigDecimal lower, OmegaBigDecimal upper)	Integrates this exmonomial over an interval.
Expolynomial	Expolynomial.integrate(Variable var)	Computes the primitive function of this expolynomial.
Expolynomial	Expolynomial.integrate(Variable var, OmegaBigDecimal lower, OmegaBigDecimal upper)	Integrates this expolynomial over an interval.
void	ExponentialTerm.setVariable(Variable variable)
void	MonomialTerm.setVariable(Variable variable)
Expolynomial	Exmonomial.shift(Variable base, Variable offset)	Replaces base with base + offset.
void	Expolynomial.shift(Variable base, Variable offset)	Replaces base with base + offset.
void	AtomicTerm.substitute(Variable oldVar, Variable newVar)	Substitutes oldVar with newVar in the atomic term.
void	Exmonomial.substitute(Variable oldVar, Variable newVar)	Replaces oldVar with newVar.
void	Expolynomial.substitute(Variable oldVar, Variable newVar)	Replaces oldVar with newVar.
void	ExponentialTerm.substitute(Variable oldVar, Variable newVar)
void	MonomialTerm.substitute(Variable oldVar, Variable newVar)

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

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 Variable

Modifier	Constructor	Description
	ExponentialTerm(Variable variable, BigDecimal lambda)	Builds an instance for a given variable and rate.
	MonomialTerm(Variable variable, int alpha)	Builds an instance for a given variable and exponent.

Uses of Variable in org.oristool.math.function

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

Modifier and Type	Method	Description
Variable	Synchronization.getDistributed()
Variable	StateDensityFunction.getLowestSynchronizedWrt(Variable distributedVariable)	Returns the synchronized variable with minimum delay with respect to a given distributed one.
Variable	Erlang.getVariable()	Returns the variable name.
Variable	EXP.getVariable()	Returns the variable of this PDF.

Methods in org.oristool.math.function that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable>	StateDensityFunction.getContinuousVariables()	Returns the set of continuous variables.
Set<Map.Entry<Variable,BigDecimal>>	StateDensityFunction.getDeterministicValues()	Returns the set of deterministic variables and their values.
Set<Variable>	StateDensityFunction.getDeterministicVariables()	Returns the set of deterministic variables.
Map.Entry<Variable,BigDecimal>	StateDensityFunction.getLowestDeterministicValue()	Returns the minimum value of deterministic variables.
Map.Entry<Variable,BigDecimal>	StateDensityFunction.getLowestDeterministicValue(Set<Variable> detVariables)	Returns the minimum value of deterministic variables among a given set.
Set<Variable>	StateDensityFunction.getNullDelayVariables(Variable v)	Returns the deterministic, synchronized or distributed variables with zero delay with respect to an input one.
Map<Variable,BigDecimal>	StateDensityFunction.getSynchDelaysWrt(Variable v)	Returns all the variables synchronized with a given one (and their delays).
Set<Variable>	StateDensityFunction.getSynchronizedVariables()	Returns the set of synchronized variables.
Set<Variable>	PartitionedGEN.getVariables()	Returns the list of variables of this PDF.
Set<Variable>	StateDensityFunction.getVariables()	Returns the set of variables (deterministic, synchronized, continuous).

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

Modifier and Type	Method	Description
void	StateDensityFunction.addContinuousVariable(Variable v, PartitionedFunction f)	Adds a continuous variable with give PDF.
void	StateDensityFunction.addDeterministicVariable(Variable v, BigDecimal value)	Adds a deterministic variable to this PDF.
void	StateDensityFunction.addSynchronizedVariable(Variable v, Variable distributed, BigDecimal delay)	Adds a variable with deterministic delay with respect to an existing continuous variable.
BigDecimal	StateDensityFunction.computeMeanValue(Variable v)	Computes the mean value of a variable.
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.
BigDecimal	StateDensityFunction.getDeterministicValue(Variable v)	Returns the deterministic value of a given variable.
static GEN	GEN.getDETInstance(Variable v, BigDecimal value)	Builds the PDF of a deterministic variable.
BigDecimal	StateDensityFunction.getLowestSynchronizedDelayWrt(Variable distributedVariable)	Returns the minimum delay of variables synchronized with the input one.
Variable	StateDensityFunction.getLowestSynchronizedWrt(Variable distributedVariable)	Returns the synchronized variable with minimum delay with respect to a given distributed one.
StateDensityFunction	StateDensityFunction.getMarginalDensity(Variable v)	Returns the marginal density of a variable.
OmegaBigDecimal	StateDensityFunction.getMaxBound(Variable left, Variable right)	Returns the maximum upper bound on the difference left - right between two variables.
OmegaBigDecimal	StateDensityFunction.getMinBound(Variable left, Variable right)	Returns the minimum upper bound on the difference left - right between two variables.
Set<Variable>	StateDensityFunction.getNullDelayVariables(Variable v)	Returns the deterministic, synchronized or distributed variables with zero delay with respect to an input one.
Map<Variable,BigDecimal>	StateDensityFunction.getSynchDelaysWrt(Variable v)	Returns all the variables synchronized with a given one (and their delays).
Synchronization	StateDensityFunction.getSynchronization(Variable v)	Returns synchronization information of a variable.
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.
void	StateDensityFunction.marginalizeVariable(Variable v)	Removes a variable from this PDF.
static GEN	GEN.newTruncatedExp(Variable v, BigDecimal rate, OmegaBigDecimal eft, OmegaBigDecimal lft)	Builds the PDF of a truncated EXP.
PartitionedGEN	GEN.project(Variable v)	Removes a variable from the PDF.
void	PartitionedGEN.project(Variable var)	Removes the input variable.
PartitionedGEN	GEN.shiftAndProject(Variable v)	Subtracts a variable from all others and removes it from the PDF.
void	PartitionedGEN.shiftAndProject(Variable var)	Subtracts the input variable from all others and removes it.
void	StateDensityFunction.shiftAndProject(Variable firedVar)	Subtracts a variable from all others and removes it from this PDF.
void	GEN.substitute(Variable oldVar, Variable newVar)	Replaces a variable name with another.
void	GEN.substitute(Variable oldVar, Variable newVar, BigDecimal constant)	Replaces a variable name with another and adds a constant.
void	PartitionedGEN.substitute(Variable oldVar, Variable newVar)	Replaces one variable name with another one.
void	PartitionedGEN.substitute(Variable oldVar, Variable newVar, BigDecimal constant)	Replaces one variable name with another one plus a constant.
void	GEN.substituteAndShift(Variable oldVar, Variable newVar, BigDecimal constant)	Replaces the ground with newVar - constant and oldVar with the ground.
void	PartitionedGEN.substituteAndShift(Variable oldVar, Variable newVar, BigDecimal constant)	Replaces oldVar with Variable.TSTAR and makes newVar - constant the new ground.
void	StateDensityFunction.swap(Variable synch)	Moves a synchronized variable into the distributed set, and the current distributed one into the synchronized set.

Method parameters in org.oristool.math.function with type arguments of type Variable

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.
void	GEN.constantShift(BigDecimal constant, Collection<Variable> variables)	Adds a constant to a set of variables in the PDF.
void	PartitionedGEN.constantShift(BigDecimal constant, Collection<Variable> variables)	Subtracts a constant from a set of variables.
void	StateDensityFunction.constantShift(BigDecimal constant, Set<Variable> progressing)	Removes a constant from a set of input variables.
Map.Entry<Variable,BigDecimal>	StateDensityFunction.getLowestDeterministicValue(Set<Variable> detVariables)	Returns the minimum value of deterministic variables among a given set.
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.getMinBound(Set<Variable> leftVars, Set<Variable> rightVars)	Returns the minimum upper bound on the difference left - right between variables in two sets.
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.

Constructors in org.oristool.math.function with parameters of type Variable

Modifier	Constructor	Description
	Erlang(Variable x, int k, BigDecimal lambda)	Builds the function lambda^k x^(k-1) e^(-lambda x) / (k-1)! over [0, +infty).
	EXP(Variable x, BigDecimal lambda)	Builds the function e^(-lambda x) over [0, +infty).
	Synchronization(Variable distributed, BigDecimal coefficient)

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

Fields in org.oristool.models.stpn.trees with type parameters of type Variable

Modifier and Type	Field	Description
final Map<Variable,Map<Variable,BigDecimal>>	EnablingSyncsFeature.enablingSyncs
final Map<Variable,Map<Variable,BigDecimal>>	EnablingSyncsFeature.enablingSyncs

Methods in org.oristool.models.stpn.trees that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable>	EnablingSyncsFeature.dets()	Returns the set of (initially) deterministic variables.
Set<Variable>	StochasticStateFeature.getAgeVariables()	Returns the set of age variables.
Map<Variable,BigDecimal>	DeterministicEnablingState.getEnablingTimes()
Set<Map.Entry<Variable,BigDecimal>>	StochasticStateFeature.getEXPRates()
Set<Variable>	StochasticStateFeature.getEXPVariables()
Set<Variable>	StochasticStateFeature.getFiringVariables()	Returns the set of general, non-age variables.

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

Modifier and Type	Method	Description
void	StochasticStateFeature.addAgeVariable(Variable v)	Adds an age variable.
void	StochasticStateFeature.addAgeVariable(Variable v, BigDecimal value)	Adds a deterministic age variable.
void	StochasticStateFeature.addExpVariable(Variable v, BigDecimal rate)	Adds an exponentially-distributed variable.
void	StochasticStateFeature.addTruncatedExp(Variable v, BigDecimal rate, OmegaBigDecimal lft)	Adds a truncated EXP [0, lft] to the state density.
void	StochasticStateFeature.addVariable(Variable v, PartitionedFunction f)	Adds a variable with the given PDF.
void	StochasticStateFeature.addVariableReduced(Variable v, PartitionedFunction f, BigDecimal amount)	Adds a variable with the input PDF, reduced of given amount.
BigDecimal	StochasticStateFeature.computeMeanValue(Variable v)	Computes the mean value of a variable.
BigDecimal	StochasticStateFeature.conditionToMinimum(Variable v)	Conditions this PDF to the event where the input variable is minimum.
BigDecimal	EnablingSyncsFeature.get(Variable det, Variable gen)	Returns the enabling delay of a deterministic variable with respect to a general one.
BigDecimal	StochasticStateFeature.getEXPRate(Variable v)
void	EnablingSyncsFeature.remove(Variable t)	Discards all synchronization information about a variable.
void	StochasticStateFeature.removeExpVariable(Variable v)
void	EnablingSyncsFeature.set(Variable det, Variable gen, BigDecimal enablingTime)	Returns the enabling delay of a determinstic variable with respect to a general one.
void	StochasticStateFeature.setEXPRate(Variable v, BigDecimal rate)

Method parameters in org.oristool.models.stpn.trees with type arguments of type Variable

Modifier and Type	Method	Description
BigDecimal	StochasticStateFeature.getTotalExpRate(Set<Variable> expVariables)	Returns the sum of rates of a subset of exponential variables.

Constructor parameters in org.oristool.models.stpn.trees with type arguments of type Variable

Modifier	Constructor	Description
	DeterministicEnablingState(Marking marking, Map<Variable,BigDecimal> enablingTimes)	Builds an instance from the given marking and map of enabling times.

Uses of Variable in org.oristool.petrinet

Methods in org.oristool.petrinet that return Variable

Modifier and Type	Method	Description
Variable	Transition.newVariableInstance()	Returns the variable associated with this transition.

Methods in org.oristool.petrinet that return types with arguments of type Variable

Modifier and Type	Method	Description
static Set<Variable>	Transition.newVariableSetInstance(Set<Transition> transitions)	Variables associated with a set of transitions.