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

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