Package | Description |
---|---|
spdfcore.stanalys |
package contains classes to build the
solutions for balance equations of a graph and perform safety,
liveness analysis, consistency check etc.
|
Modifier and Type | Field and Description |
---|---|
private Expression |
Fraction.denominator
Denominator of the fraction
|
private Expression |
Fraction.numerator
Numerator of the fraction
|
Modifier and Type | Field and Description |
---|---|
private java.util.HashMap<Port,Expression> |
GraphExpressions.portRates |
private java.util.HashMap<Actor,Expression> |
Solutions.solutions
Actor and its mapped solution expression
|
Modifier and Type | Method and Description |
---|---|
static Expression |
Expression.add(Expression arg1,
Expression arg2)
Add two expressions
|
static Expression |
Expression.divide(Expression arg1,
Expression arg2)
Division : divide one expression by other.
|
static Expression |
Expression.gcd(Expression arg1,
Expression arg2)
Greatest common divisor of two expressions.
|
Expression |
Fraction.getDenominator()
Get the denominator
|
Expression |
Fraction.getNumerator()
Get the numerator
|
Expression |
GraphExpressions.getRate(Port port)
Get the rate of a port as a parsed expression.
|
Expression |
Solutions.getSolution(Actor actor)
Gets an expression to solution of an actor
|
static Expression |
Expression.multiply(Expression arg1,
Expression arg2)
Multiply two expressions
|
Expression |
Fraction.toExpression()
Convert to non-fractional expression, denominator must be = 1
otherwise an exception will be thrown.
|
Modifier and Type | Method and Description |
---|---|
(package private) java.util.HashMap<Actor,Expression> |
Solutions.scaleFractions(Solutions.Data data)
Scale the fractional solutions from the results of the solver
to be non-fractional, using the least common multiple of
the denominators.
|
Modifier and Type | Method and Description |
---|---|
static Expression |
Expression.add(Expression arg1,
Expression arg2)
Add two expressions
|
static Expression |
Expression.divide(Expression arg1,
Expression arg2)
Division : divide one expression by other.
|
static Expression |
Expression.gcd(Expression arg1,
Expression arg2)
Greatest common divisor of two expressions.
|
static Expression |
Expression.multiply(Expression arg1,
Expression arg2)
Multiply two expressions
|
Constructor and Description |
---|
Fraction(Expression expr)
Build a new fraction with denominator = 1.
|
Fraction(Expression num,
Expression denom)
Build a new fraction
|