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);
}
}
return true;