Package | Description |
---|---|
graphanalysis.scheduling |
package contains miscellaneous scheduling algorithms
and some support functions for scheduling algorithms.
|
graphanalysis.throughput |
package contains algorithms to calculate throughput
of SDF graph.
|
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.
|
underDevelopment |
package contains code that is unused, not working or under development.
|
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
Apgan.expressions
Expressions for the graph
|
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
Throughput.expressions
Expressions to get the solutions.
|
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
SpdfAnalyzer.expressions |
(package private) GraphExpressions |
Solutions.Data.expressions |
Modifier and Type | Method and Description |
---|---|
void |
ParamComm.identifyParameterSources(GraphExpressions expressions)
Look which parameters are being used by each actor and
identify the source of each parameter.
|
void |
ParamComm.identifyParameterUsers(GraphExpressions expressions,
Solutions solutions)
Find the user actors for every parameter.
|
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 | Field and Description |
---|---|
private GraphExpressions |
TryLiveness.expressions |
private GraphExpressions |
TrySafety.expressions |
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
TryQuasiStatic.expressions |