1 package com.example.furt.myapplication;
3 import android.graphics.Paint;
5 import java.util.ArrayList;
8 public class FormulaBOT extends GenericFormula implements Formula{
16 public String Draw(int p)
21 public List<IntroductionRule> introductionRules(){
22 List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
25 public List<EliminationRule> EliminationRules()
27 List<EliminationRule> nodes=new ArrayList<EliminationRule>();
28 nodes.add(new RuleBotElimination(this));
33 public boolean Fill(Formula F) {
38 public boolean setCursor() {
43 public Formula duplicate() {
44 return new FormulaBOT();