Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/RuleIntroduction.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/RuleIntroduction.java
new file mode 100644 (file)
index 0000000..ed0b6a1
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/RuleIntroduction.java
@@ -0,0 +1,30 @@
+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;
+    }
+}