Ported to latest version of Android SDK

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

diff --git a/mainActivity/src/com/example/furt/myapplication/EliminationRule.java b/mainActivity/src/com/example/furt/myapplication/EliminationRule.java
deleted file mode 100755 (executable)
index cc55c45..0000000
--- a/mainActivity/src/com/example/furt/myapplication/EliminationRule.java
+++ /dev/null
@@ -1,8 +0,0 @@
-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
-}
-