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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java b/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java
deleted file mode 100755
index 8d9aa70..0000000
--- a/mainActivity/src/com/example/furt/myapplication/FormulaTOP.java
+++ /dev/null
@@ -1,38 +0,0 @@
-package com.example.furt.myapplication;
-
-import java.util.ArrayList;
-import java.util.List;
-
-public class FormulaTOP extends GenericFormula implements Formula{
-
-    FormulaTOP()
-    {
-        priority=100;
-    }
-
-    @Override
-    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>();
-        return nodes;
-    }
-
-    @Override
-    public boolean Fill(Formula F) {
-        return false;
-    }
-
-    @Override
-    public boolean setCursor() {
-        return false;
-    }
-
-    @Override
-    public Formula duplicate() {
-        return new FormulaTOP();
-    }
-
-}