]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/app/src/main/java/com/example/furt/myapplication/IntroductionRule.java
Ported to latest version of Android SDK
[logicplayer.git] / mainActivity / app / src / main / java / com / example / furt / myapplication / IntroductionRule.java
diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/IntroductionRule.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/IntroductionRule.java
new file mode 100644 (file)
index 0000000..9799a43
--- /dev/null
@@ -0,0 +1,7 @@
+package com.example.furt.myapplication;
+
+public interface IntroductionRule
+{
+    int getPriority();
+    public Node createNodes(askFormula ask);
+}