Compare commits

..

No commits in common. "6684e14bf5bb2cebad11c70f423caa164d75d411" and "59c56802ed3a94f2f5598245c6142c7adcf629c3" have entirely different histories.

View File

@ -9,7 +9,7 @@ public class DirectedGraph<T extends VertexMarking, U extends EdgeMarking> exten
public DirectedGraph() {
super();
} //TestSeans
}
public DirectedGraph(String s) {