1 package com.example.furt.myapplication;
3 import java.util.ArrayList;
6 public class FormulaTOP extends GenericFormula implements Formula{
14 public String Draw(int p){return "Čš";}
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>();
24 public boolean Fill(Formula F) {
29 public boolean setCursor() {
34 public Formula duplicate() {
35 return new FormulaTOP();