Ported to latest version of Android SDK

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

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/EliminationRule.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/EliminationRule.java
new file mode 100644 (file)
index 0000000..cc55c45
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/EliminationRule.java
@@ -0,0 +1,8 @@
+package com.example.furt.myapplication;
+
+/**EliminationRule: interfaccia per le regole di eliminazione**/
+public interface EliminationRule
+{
+    public Node createNodes(Formula F, askFormula ask); //restituisce il sottoalbero successivo all'applicazione della regola sul nodo attualmente selezionato
+}
+