public class TrySafety extends TestBase
Modifier and Type | Field and Description |
---|---|
private GraphExpressions |
expressions |
private Graph |
graph |
private ParamComm |
paramcomm |
private Safety |
safety |
private Solutions |
solutions |
Constructor and Description |
---|
TrySafety() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
private static void |
raiseError(java.lang.String text) |
private void |
run(java.lang.String[][] gs,
java.lang.String[][] mds,
boolean expectSafe) |
constructGraph
private Graph graph
private ParamComm paramcomm
private GraphExpressions expressions
private Solutions solutions
private Safety safety