Example #1
0
 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);
 }
Example #2
0
        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"));
        }