1 package com.example.furt.myapplication;
3 import java.util.ArrayList;
6 public class Literal extends GenericFormula implements Formula
15 public String Draw(int p){return L;}
17 public List<IntroductionRule> introductionRules(){
18 List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
19 nodes.addAll(super.introductionRules());
24 public boolean Fill(Formula F) {
28 public boolean isCompatible(Node n) {
33 public Formula duplicate() {
34 return new Literal(this.L.charAt(0));