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.
|
underDevelopment |
package contains code that is unused, not working or under development.
|
Modifier and Type | Field and Description |
---|---|
private ParamComm |
SpdfAnalyzer.paramcomm |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
Safety.check(ParamComm paramcomm,
Solutions solutions)
check parameter modification safety according to the safety criterion;
this ensures that the graph has a periodic schedule.
|
Modifier and Type | Field and Description |
---|---|
private ParamComm |
TryLiveness.paramcomm |
private ParamComm |
TrySafety.paramcomm |
Modifier and Type | Field and Description |
---|---|
private ParamComm |
TryQuasiStatic.paramcomm |
private ParamComm |
QuasiStaticScheduling.paramcomm |
Constructor and Description |
---|
QuasiStaticScheduling(Graph graph,
ParamComm paramcomm,
Solutions solutions) |