X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FRuleAndElimination.java;h=5970a86f07528beff711d7f800cae4507bf660ec;hb=e477ff2be762ba333c5c77c14bfdea574c700259;hp=5b2c5d4e2e86572a81c4062fc659d881aa8dfaf6;hpb=92c1b7c5e38b8d6ffbeffb2c515bb99149841803;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java
index 5b2c5d4..5970a86 100755
--- a/mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java
@@ -2,13 +2,10 @@ package com.example.furt.myapplication;
 
 import java.util.ArrayList;
 import java.util.List;
+
 public class RuleAndElimination implements EliminationRule
 {
     String ruleName;
-    public String getName()
-    {
-        return ruleName;
-    }
     FormulaAnd Fn;
     RuleAndElimination(FormulaAnd F){
         Fn=F;
@@ -17,14 +14,15 @@ public class RuleAndElimination implements EliminationRule
     public Node createNodes(Formula F,askFormula ask)
     {
             Formula C;
-            if (F==null)
+            if (F==null) //applicazione Top-Down: chiamo la callback
                 C=ask.Ask();
             else
-                C=F;
+                C=F; //applicazione bottom-up: il nuovo nodo è la formula F passata
             Node cNode=new Node(C);
-            if ((C.toString().equals(Fn.leftF.toString())) || (C.toString().equals(Fn.rightF.toString()))) //I can return leftAnd rule or rightAnd rule
+            if ((C.toString().equals(Fn.leftF.toString())) || (C.toString().equals(Fn.rightF.toString()))) //Posso utilizzare le regole di eliminazione sinistra o destra
             {
                 cNode.addChild(new Node(Fn));
+                cNode.ruleName=ruleName;
                 return cNode;
             }
             Node elNode=new Node(Fn);