255256257258259260261262263264265
in[(i + 1) * auto.getNbStates() + qn] = b; graph.addVertex(b); } // BEWARE<CPRU>: cost is not required, 0.0 is a default value Arc arc = new Arc(a, b, j, aid++); graph.addEdge(a, b, arc); tmp.get(idx).add(arc); mark.set(k); }