X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FEliminationRule.java;fp=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FEliminationRule.java;h=0000000000000000000000000000000000000000;hb=23a3fa7a8181ef21d272a90dd1ff2ba353268813;hp=cc55c4587ad74f81a7dca94f33cb6482da3ce1b6;hpb=e477ff2be762ba333c5c77c14bfdea574c700259;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/EliminationRule.java b/mainActivity/src/com/example/furt/myapplication/EliminationRule.java
deleted file mode 100755
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
-}
-