1 package com.example.furt.myapplication;
3 import android.graphics.Paint;
7 public class UndefinedFormula implements Formula{
11 boolean currentF; //indica se la formula è quella su cui sta lavorando il parser per l'inserimento di ipotesi
17 public String Draw(int x)
19 if(currentF) //la formula corrente visualizza un _
24 public String toString(){return Draw(0);}
25 public String toStringDeleted(){return null;} //UndefinedFormula non può essere scaricata
27 p.setTextSize(DrawActivity.textSize);
28 return p.measureText(toString());
33 } //UndefinedFormula non ha dimensioni e non accetta regole
34 public float sizeDeleted(){return(0);}
35 public List<IntroductionRule> introductionRules(){
38 public List<EliminationRule> EliminationRules(){
43 public boolean Fill(Formula F) {
48 public boolean setCursor() {
54 public Formula duplicate() {
55 UndefinedFormula tmp=new UndefinedFormula();
56 tmp.currentF=this.currentF;