public boolean visitActionLevel(ActionLevel actionLevel) {
Comment comment = graphDoc.createComment("Action Level "+actionLevel.getIndex());
graphElement.appendChild(comment);
for (Iterator<Operator> iter = actionLevel.getActions(); iter.hasNext();) {
Operator operator = iter.next();
String label = operator.getSignature();
String id = actionLevel.getIndex()+label;
Element nodeElement = createNode(id, label);
graphElement.appendChild(nodeElement);
for(Iterator<Proposition> iterPre = operator.getPreconds().iterator(); iterPre.hasNext(); ){
Proposition prop = iterPre.next();
String target = (actionLevel.getIndex()-1)+prop.getSignature();
Element edgeElement = createEdge(id, target);
graphElement.appendChild(edgeElement);
}
for(Iterator<Proposition> iterEff = operator.getEffects().iterator(); iterEff.hasNext(); ){
Proposition prop = iterEff.next();
String target = (actionLevel.getIndex()+1)+prop.getSignature();
Element edgeElement = createEdge(id, target);
graphElement.appendChild(edgeElement);
}