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

diff --git a/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java b/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java
deleted file mode 100755
index c5885a0..0000000
--- a/mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java
+++ /dev/null
@@ -1,59 +0,0 @@
-package com.example.furt.myapplication;
-
-import android.graphics.Paint;
-
-import java.util.List;
-
-public class UndefinedFormula implements Formula{
-
-    Paint p=new Paint();
-    int priority;
-    boolean currentF; //indica se la formula è quella su cui sta lavorando il parser per l'inserimento di ipotesi
-    UndefinedFormula()
-    {
-        priority=100;
-        currentF=false;
-    }
-    public String Draw(int x)
-    {
-        if(currentF) //la formula corrente visualizza un _
-            return "_";
-        else
-           return " ";
-    }
-    public String toString(){return Draw(0);}
-    public String toStringDeleted(){return null;} //UndefinedFormula non può essere scaricata
-    public float size(){
-        p.setTextSize(DrawActivity.textSize);
-        return p.measureText(toString());
-    }
-    public float height()
-    {
-        return 0;
-    } //UndefinedFormula non ha dimensioni e non accetta regole
-    public float sizeDeleted(){return(0);}
-    public List<IntroductionRule> introductionRules(){
-        return null;
-    }
-    public List<EliminationRule> EliminationRules(){
-        return null;
-    }
-
-    @Override
-    public boolean Fill(Formula F) {
-        return false;
-    }
-
-    @Override
-    public boolean setCursor() {
-        currentF=true;
-        return true;
-    }
-
-    @Override
-    public Formula duplicate() {
-        UndefinedFormula tmp=new UndefinedFormula();
-        tmp.currentF=this.currentF;
-        return tmp;
-    }
-}