New version (to be tested).

[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / RuleBotElimination.java

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java b/mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java
index 83a54fd76fa5993d9646912159508fc901bb0814..501dfe5967d1239008119dd53dbcff358a035df8 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java
+++ b/mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java
@@ -3,10 +3,6 @@ package com.example.furt.myapplication;
 public class RuleBotElimination implements EliminationRule
 {
     String ruleName;
-    public String getName()
-    {
-        return ruleName;
-    }
     FormulaBOT Fn;
     RuleBotElimination(FormulaBOT F)
     {
@@ -15,11 +11,15 @@ public class RuleBotElimination implements EliminationRule
     }
     public Node createNodes(Formula F,askFormula ask)
     {
-        Formula C=ask.Ask();
+        Formula C;
+        if (F!=null)
+            C=F;
+        else
+            C=ask.Ask();
         Node elNode=new Node(Fn);
         Node rNode=new Node(C);
         rNode.addChild(elNode);
         rNode.ruleName=ruleName;
         return rNode;
     }
-}
\ No newline at end of file
+}