171617171718171917201721172217231724
Knoten k2 = aut.holeKnoten(t.getFolgezustand()); gv.addln("\"node" + k1.holeName() + "\" -> \"node" + k2.holeName() + "\" [label=\"(" + i + ") " + t.getCond() + "\"];"); } } gv.addln(gv.endGraph()); return gv; } }
435436437438439440441442443444445
// Sortiere 0- und 1-Kanten. for (String line : inst0) {gv.addln(line);} for (String line : inst1) {gv.addln(line);} for (String line : inst01) {gv.addln(line);} gv.addln(gv.endGraph()); return gv; } @Override
359360361362363364365366367368369
} gv.addln(s2 + "[label=" + label + "];"); gv.addln(t.toString()); } gv.addln(gv.endGraph()); if (completeOutput) println("Not explicitly labelled states (" + nonLabelled.size() + "): " + nonLabelled); // try { // gv.storeGraphViz(datNam, pdfPath);
215216217218219220221222223224225
for (String s : instructions) { gv.addln(s); } gv.add(gv.endGraph()); return gv; } @Override