buffer.append("digraph G").append("\n");
buffer.append("{").append("\n");
buffer.append(" rankdir=UD; node [fontname=\"Arial\", fontsize=10];").append("\n");
for (int i=0;i<levels;i++) {
for(Iterator<Link> it=possibleLocs[i].iterator();it.hasNext();) {
Link l = it.next();
buffer.append(" \""+l.getFromNode().getPosition()+"("+i+")\" -> \""+l.getToNode().getPosition()+"("+(i+1)+")\"");
buffer.append(" [color="+decodeColor(l.getType())+"]");
buffer.append(";\n");
}
}
buffer.append("}").append("\n");
log.debug("\n"+buffer);