New version (to be tested).

[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
index 7285a4a835e0e52901b7f179677031552d6ef980..cc55c4587ad74f81a7dca94f33cb6482da3ce1b6 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/EliminationRule.java
+++ b/mainActivity/src/com/example/furt/myapplication/EliminationRule.java
@@ -1,11 +1,8 @@
 package com.example.furt.myapplication;
 
-import java.util.ArrayList;
-import java.util.List;
-
+/**EliminationRule: interfaccia per le regole di eliminazione**/
 public interface EliminationRule
 {
-    public String getName();
-    public Node createNodes(Formula F, askFormula ask);
+    public Node createNodes(Formula F, askFormula ask); //restituisce il sottoalbero successivo all'applicazione della regola sul nodo attualmente selezionato
 }