//Find a way to write this to DOT
writer.println("subgraph cluster_action"+actionLevel.getIndex()+" {");
String comment = "Action Level "+actionLevel.getIndex();
writer.println("label=\""+comment+"\";");
for (Iterator<Operator> iter = actionLevel.getActions(); iter.hasNext();) {
Operator operator = iter.next();
String label = operator.getSignature();
String id = actionLevel.getIndex()+label;
this.createNode(id, label,"box");
for(Iterator<Proposition> iterPre = operator.getPreconds().iterator(); iterPre.hasNext(); ){
Proposition prop = iterPre.next();
String target = (actionLevel.getIndex()-1)+prop.getSignature();
createEdge(id, target);
}
for(Iterator<Proposition> iterEff = operator.getEffects().iterator(); iterEff.hasNext(); ){
Proposition prop = iterEff.next();
String target = (actionLevel.getIndex()+1)+prop.getSignature();
createEdge(id, target);
}
}