1 package com.example.furt.myapplication;
3 import android.graphics.Paint;
7 public class UndefinedFormula implements Formula{
17 public String Draw(int x)
24 public String toString(){return Draw(0);}
25 public String toStringDeleted(){return null;} //UndefinedFormula should never be deleted
27 p.setTextSize(DrawActivity.textSize);
28 return p.measureText(toString());
34 public float sizeDeleted(){return(0);}
35 public List<IntroductionRule> introductionRules(){
37 } //UndefinedFormula accepts no rules
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;