See: Description
Class | Description |
---|---|
DivisorSet |
implements an expression c1^w1 * c2^w2....*p1^u1*p2^u2*...
|
Expression |
This is a class for parsing the String expressions and
applying arithmetic operations.
|
Fraction |
implements a fraction
by construction the fraction is 'reduced': the numerator and denominator
are coprimes.
|
GraphExpressions |
Stores the parsed expressions for the rates and periods
of the given SPDF graph.
|
InconsistencyProof |
Diagnostics of inconsistent undirected cycles when solving the
balance equations.
|
LivenessAcyclic |
The simplest sufficient condition for liveness:
the graph must be acyclic.
|
ParamComm |
"Parameter Communication" class manages parameter sources and users.
|
PrimeDivisorSet | |
Safety |
Performs the check for the safety criterion
|
Solutions |
Solver of balance equations of SPDF
|
SpdfAnalyzer |
Static analysis for conversion to PEDF
|