public void FeedbackTest1()
{
TreeEditDistance treeCorrector = new TreeEditDistance();
TreeDefinition aTree = CreateTreeHelper.MakeTree(new PDLNot(new PDLTrue()));
TreeDefinition bTree = CreateTreeHelper.MakeTree(new PDLTrue());
Transformation transform = treeCorrector.getTransformation(aTree, bTree);
}
public void TreeScript()
{
TreeEditDistance treeCorrector = new TreeEditDistance();
TreeDefinition aTree = CreateTreeHelper.MakeTree(new PDLModSetEq(new PDLAllPos(), 3, 2));
TreeDefinition bTree = CreateTreeHelper.MakeTree(new PDLModSetEq(new PDLAllPos(), 4, 2));
Transformation transform = treeCorrector.getTransformation(aTree, bTree);
Console.Write(transform.ToHTMLColoredStringAtoB("red", "blue"));
}