public class SpdfAnalyzer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
expressions |
private Graph |
graph |
private ParamComm |
paramcomm |
private Safety |
safety |
private Solutions |
solutions |
Constructor and Description |
---|
SpdfAnalyzer(Graph g) |
Modifier and Type | Method and Description |
---|---|
Solutions |
getSolutions() |
void |
run() |
private Graph graph
private ParamComm paramcomm
private GraphExpressions expressions
private Solutions solutions
private Safety safety
public SpdfAnalyzer(Graph g)
public void run()
public Solutions getSolutions()