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         //le regole di introduzione ed eliminazione per Top non sono implementate in quanto prive
  18         //di un'applicazione effettiva nella dimostrazione
  19         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
  20         return nodes;
  21     }
  22
  23     @Override
  24     public boolean Fill(Formula F) {
  25         return false;
  26     }
  27
  28     @Override
  29     public boolean setCursor() {
  30         return false;
  31     }
  32
  33     @Override
  34     public Formula duplicate() {
  35         return new FormulaTOP();
  36     }
  37
  38 }