mainActivity/src/com/example/furt/myapplication/FormulaBOT.java

   1 package com.example.furt.myapplication;
   2
   3 import android.graphics.Paint;
   4
   5 import java.util.ArrayList;
   6 import java.util.List;
   7
   8 public class FormulaBOT extends GenericFormula implements Formula{
   9     Paint p=new Paint();
  10     FormulaBOT()
  11     {
  12         priority=100;
  13     }
  14
  15     @Override
  16     public String Draw(int p)
  17     {
  18         return "⊥";
  19     }
  20
  21     public List<IntroductionRule> introductionRules(){
  22         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
  23         return nodes;
  24     }
  25     public List<EliminationRule> EliminationRules()
  26     {
  27         List<EliminationRule> nodes=new ArrayList<EliminationRule>();
  28         nodes.add(new RuleBotElimination(this));
  29         return nodes;
  30     }
  31
  32     @Override
  33     public boolean Fill(Formula F) {
  34         return false;
  35     }
  36
  37     @Override
  38     public boolean setCursor() {
  39         return false;
  40     }
  41
  42     @Override
  43     public Formula duplicate() {
  44         return new FormulaBOT();
  45     }
  46 }