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 | Method and Description |
---|---|
private InconsistencyProof |
Solutions.checkResults(Solutions.Data data)
Look for rate inconsistency
|
boolean |
InconsistencyProof.findBadCycle(Solutions.Data data)
Check the channels we did not visit.
|
private void |
InconsistencyProof.findCycle(Channel refChannel,
Solutions.Data data)
given the channel where inconsistency was detected, expose
the complete cyclic path with inconsistency by combining
this channel with the paths which were followed by the solver
when trying to derive the solution.
|
private static java.util.LinkedList<Channel> |
InconsistencyProof.pathToStart(Actor actor,
Solutions.Data data) |
(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.
|
private void |
Solutions.solveRecursively(Actor actor,
Solutions.Data data)
one step of recursion, from solution for current actor
find solutions of its neighbors, and call this function
for each neighbor
|