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 //Bottom non ha regole di introduzione sensate
23 List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
26 public List<EliminationRule> EliminationRules()
28 List<EliminationRule> nodes=new ArrayList<EliminationRule>();
29 nodes.add(new RuleBotElimination(this));
34 public boolean Fill(Formula F) {
39 public boolean setCursor() {
44 public Formula duplicate() {
45 return new FormulaBOT();