Ported to latest version of Android SDK

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

diff --git a/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java b/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
deleted file mode 100755 (executable)
index ed0b6a1..0000000
--- a/mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java
+++ /dev/null
@@ -1,30 +0,0 @@
-package com.example.furt.myapplication;
-
-//Regole di introduzione per la deduzione top-down: la formula è sempre applicabile, per cui la regola si limita
-//a chiamare la callback e restituire il sottoalbero di nodi conseguente all'applicazione della regola
-public class RuleIntroduction implements IntroductionRule
-{
-    int priority;
-    Node tempRule;
-    String ruleName;
-    public RuleIntroduction(String name,int p)
-    {
-        ruleName=name; priority=p;
-    }
-    public Node createNodes(askFormula ask)
-    {
-        Formula C=ask.Ask();
-        for (Node n:tempRule.Children)
-        {
-            if (n.F.toString().equals(" ")) //undefined formula
-                n.F=C;
-            n.ruleName=ruleName;
-        }
-        tempRule.ruleName=ruleName;
-        return tempRule;
-    }
-    public int getPriority()
-    {
-        return priority;
-    }
-}