+++ /dev/null
-package com.example.furt.myapplication;
-
-import java.util.ArrayList;
-import java.util.List;
-
-public class Literal extends GenericFormula implements Formula
-{
- String L;
- Literal(char c)
- {
- priority=100;
- L=c+"";
- }
- @Override
- public String Draw(int p){return L;}
-
- public List<IntroductionRule> introductionRules(){
- List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
- nodes.addAll(super.introductionRules()); //eredita la R.A.A.
- return nodes;
- }
-
- @Override
- public boolean Fill(Formula F) {
- return false;
- }
-
- @Override
- public Formula duplicate() {
- return new Literal(this.L.charAt(0));
- }
-}