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

   1 package com.example.furt.myapplication;
   2
   3 import java.util.ArrayList;
   4 import java.util.List;
   5
   6 public class Literal extends GenericFormula implements Formula
   7 {
   8     String L;
   9     Literal(char c)
  10     {
  11         priority=100;
  12         L=c+"";
  13     }
  14     @Override
  15     public String Draw(int p){return L;}
  16
  17     public List<IntroductionRule> introductionRules(){
  18         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
  19         nodes.addAll(super.introductionRules()); //eredita la R.A.A.
  20         return nodes;
  21     }
  22
  23     @Override
  24     public boolean Fill(Formula F) {
  25         return false;
  26     }
  27
  28     @Override
  29     public Formula duplicate() {
  30         return new Literal(this.L.charAt(0));
  31     }
  32 }