Ported to latest version of Android SDK

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

diff --git a/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java b/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java
deleted file mode 100755 (executable)
index f5e905b..0000000
--- a/mainActivity/src/com/example/furt/myapplication/FormulaBOT.java
+++ /dev/null
@@ -1,47 +0,0 @@
-package com.example.furt.myapplication;
-
-import android.graphics.Paint;
-
-import java.util.ArrayList;
-import java.util.List;
-
-public class FormulaBOT extends GenericFormula implements Formula{
-    Paint p=new Paint();
-    FormulaBOT()
-    {
-        priority=100;
-    }
-
-    @Override
-    public String Draw(int p)
-    {
-        return "⊥";
-    }
-
-    public List<IntroductionRule> introductionRules(){
-        //Bottom non ha regole di introduzione sensate
-        List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
-        return nodes;
-    }
-    public List<EliminationRule> EliminationRules()
-    {
-        List<EliminationRule> nodes=new ArrayList<EliminationRule>();
-        nodes.add(new RuleBotElimination(this));
-        return nodes;
-    }
-
-    @Override
-    public boolean Fill(Formula F) {
-        return false;
-    }
-
-    @Override
-    public boolean setCursor() {
-        return false;
-    }
-
-    @Override
-    public Formula duplicate() {
-        return new FormulaBOT();
-    }
-}