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 |
---|---|
(package private) java.util.LinkedList<Channel> |
LivenessAcyclic.visitSuccessors(Actor actor,
LivenessAcyclic.Data data)
visit non-visited successors of the given actor
|