Ported to latest version of Android SDK

[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
deleted file mode 100755 (executable)
index 501dfe5..0000000
--- a/mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java
+++ /dev/null
@@ -1,25 +0,0 @@
-package com.example.furt.myapplication;
-
-public class RuleBotElimination implements EliminationRule
-{
-    String ruleName;
-    FormulaBOT Fn;
-    RuleBotElimination(FormulaBOT F)
-    {
-        Fn=F;
-        ruleName="⊥e";
-    }
-    public Node createNodes(Formula F,askFormula 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;
-    }
-}