public DerivationTreeTransformer(DerivationTree t, Dimension d, boolean isAnchored) {
this.isAnchored = isAnchored;
anchorPoint = new Point2D.Double(0, 0);
graph = t;
DelegateForest<Node, DerivationTreeEdge> del = new DelegateForest<Node, DerivationTreeEdge>(t);
del.setRoot(t.getRoot());
del.setRoot(t.getSourceRoot());
root = t.getRoot();
sourceRoot = t.getSourceRoot();
Y_DIST = d.getHeight() / (2 * (1 + distanceToLeaf(root)));
int leafCount = 0;
for (Node n : t.getVertices()) {
if (t.outDegree(n) == 0) leafCount++;
}
X_DIST = d.getWidth() / leafCount;
treeLayout = new TreeLayout<Node, DerivationTreeEdge>(del, (int) Math.round(X_DIST));
}
