Commit 299aeb5f authored by Benoit Barbot's avatar Benoit Barbot
Browse files

try to fix bug sink state removed

parent dca45a0b
......@@ -503,12 +503,16 @@ public class ReachabilityGraph
sb.append("]}");
}
}
if (i>0) s+=",\n";
if (firsttrans){
System.out.println("the state"+this.states.get(i).toString()+"has no outgoing transition sink, states added");
//s+= sb.toString();
if (i>0) s+=",\n";
s+= sb.toString()+"],\n";
s+= "\t\"name\": \"" + this.states.get(i).toString() + "\", ";
s+= "\n\t\"redcoord\": " + z.reducedCoordinate().toString() + "\n}";
}else{
if (i>0) s+=",\n";
s+= sb.toString()+"],\n";
s+= "\t\"name\": \"" + this.states.get(i).toString() + "\", ";
s+= "\n\t\"redcoord\": " + z.reducedCoordinate().toString() + "\n}";
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment