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.
|
tests |
package contains a group of tests in order to check different parts of this tool.
|
Modifier and Type | Method and Description |
---|---|
private InconsistencyProof |
Solutions.checkResults(Solutions.Data data)
Look for rate inconsistency
|
InconsistencyProof |
Solutions.solve(Graph graph,
GraphExpressions expressions)
Use method of "Software Synthesis from Dataflow Graphs" book
of Bhattacharrya, generalized to SPDF graphs
If inconsistency is found and throwExpetion==true (default)
then throws am exception.
|
InconsistencyProof |
Solutions.solve(Graph graph,
GraphExpressions expressions,
Actor startActor)
Solve balance equations.
|
Modifier and Type | Method and Description |
---|---|
private static void |
TrySolutions.checkInconsistency(InconsistencyProof inconsistency) |