New version (to be tested).

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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java b/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java
index 05cba71e095396200a6ca8a8b46e694869739455..8d9aa70147dc07e8c701e78d0814df30f02e8fbd 100755 (executable)
--- a/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java
+++ b/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java
@@ -14,8 +14,9 @@ public class FormulaTOP extends GenericFormula implements Formula{
     public String Draw(int p){return "Ț";}
 
     public List<IntroductionRule> introductionRules(){
+        //le regole di introduzione ed eliminazione per Top non sono implementate in quanto prive
+        //di un'applicazione effettiva nella dimostrazione
         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
-        nodes.addAll(super.introductionRules());
         return nodes;
     }
 
@@ -34,9 +35,4 @@ public class FormulaTOP extends GenericFormula implements Formula{
         return new FormulaTOP();
     }
 
-    public List<EliminationRule> eliminationRules(){
-        List<EliminationRule> nodes=new ArrayList<EliminationRule>();
-        return nodes;
-    }
-
 }