public class Edge {
protected GraphNode target;
protected GraphNode source;
+ protected boolean processed = false;
+
+
protected String dotnodeparams = new String();
public Edge(GraphNode target) {
public GraphNode getTarget() {
return target;
}
+
+ public void setProcessed() {
+ processed = true;
+ }
+
+ public boolean isProcessed(){
+ return processed;
+ }
public void setDotNodeParameters(String param) {
if (param == null) {