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