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         //Bottom non ha regole di introduzione sensate
  23         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
  24         return nodes;
  25     }
  26     public List<EliminationRule> EliminationRules()
  27     {
  28         List<EliminationRule> nodes=new ArrayList<EliminationRule>();
  29         nodes.add(new RuleBotElimination(this));
  30         return nodes;
  31     }
  32
  33     @Override
  34     public boolean Fill(Formula F) {
  35         return false;
  36     }
  37
  38     @Override
  39     public boolean setCursor() {
  40         return false;
  41     }
  42
  43     @Override
  44     public Formula duplicate() {
  45         return new FormulaBOT();
  46     }
  47 }