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 Fraction |
InconsistencyProof.out2inRatio |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.HashMap<Actor,Fraction> |
Solutions.Data.fracSolutions |
Modifier and Type | Method and Description |
---|---|
static Fraction |
Fraction.divide(Fraction frac1,
Fraction frac2)
Division of two fractions
|
Fraction |
InconsistencyProof.getOutToInRatio()
mismathed factors in the cycle: "OUT" to "IN" ratio
of a (rather arbitrary) 'reference channel'
|
static Fraction |
Fraction.multiply(Fraction frac1,
Fraction frac2)
Get the product of two fractions
|
Modifier and Type | Method and Description |
---|---|
static Fraction |
Fraction.divide(Fraction frac1,
Fraction frac2)
Division of two fractions
|
static Fraction |
Fraction.multiply(Fraction frac1,
Fraction frac2)
Get the product of two fractions
|