-
- // GraphViz //////////////////////////////////////////////////////////////////////////////
-
- public GraphViz.StateNode toGraphViz(GraphViz gv) {
- if (results.size()==0) return null;
- if (gv.hasNode(this)) return gv.createNode(this);
- GraphViz.StateNode n = gv.createNode(this);
- n.label = "state["+state.toInt()+"]";
- n.shape = "rectangle";
- boolean haspreds = false;
- for(Result r : results) n.edge(r, "");
- n.color = state.doomed ? "red" : "green";
- ((GraphViz.Group)phase().toGraphViz(gv)).add(n);
- return n;
- }
- public boolean isTransparent() { return false; }
- public boolean isHidden() { return false; }
-