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"));
}
/// <summary>
/// Returns the edit distance ration between 2 PDLpred A1,A2
/// </summary>
/// <param name="phi1"></param>
/// <param name="phi2"></param>
/// <returns>d(A1,A2)</returns>
internal static Transformation GetFormulaEditDistance(PDLPred phi1, PDLPred phi2)
{
TreeEditDistance treeCorrector = new TreeEditDistance();
TreeDefinition aTree = CreateTreeHelper.MakeTree(phi1);
TreeDefinition bTree = CreateTreeHelper.MakeTree(phi2);
Transformation transform = treeCorrector.getTransformation(aTree, bTree);
return transform;
}
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);
}