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

   1 package com.example.furt.myapplication;
   2
   3
   4 import java.util.ArrayList;
   5 import java.util.List;
   6
   7 public class FormulaOr extends GenericFormula implements Formula
   8 {
   9     Formula leftF;
  10     Formula rightF;
  11     int leftPriority;
  12     int rightPriority;
  13     FormulaOr(Formula F1,Formula F2)
  14     {
  15         priority=13;
  16         leftF=F1;
  17         rightF=F2;
  18         leftPriority=13;
  19         rightPriority=14;
  20     }
  21
  22     @Override
  23     public String Draw(int p)
  24     {
  25         if (priority >= p)
  26             return leftF.Draw(leftPriority)+"∨"+rightF.Draw(rightPriority);
  27         else
  28             return("(")+leftF.Draw(leftPriority)+"∨"+rightF.Draw(rightPriority)+")";
  29     }
  30
  31     public List<IntroductionRule> introductionRules(){
  32         List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
  33         nodes.addAll(super.introductionRules());
  34         RuleIntroduction orIntroductionLeft=new RuleIntroduction("∨i(L)",6);
  35         Node orLeft=new Node(leftF);
  36         Node thisNodeL=new Node(this);
  37         thisNodeL.addChild(orLeft);
  38         orIntroductionLeft.tempRule=thisNodeL;
  39         nodes.add(orIntroductionLeft);
  40         RuleIntroduction orIntroductionRight=new RuleIntroduction("∨i(R)",5);
  41         Node orRight=new Node(rightF);
  42         Node thisNodeR=new Node(this);
  43         thisNodeR.addChild(orRight);
  44         orIntroductionRight.tempRule=thisNodeR;
  45         nodes.add(orIntroductionRight);
  46         return nodes;
  47     }
  48
  49     public List<EliminationRule> EliminationRules()
  50     {
  51         List<EliminationRule> nodes=new ArrayList<EliminationRule>();
  52         nodes.add(new RuleOrElimination(this));
  53         return nodes;
  54     }
  55
  56     @Override
  57     public boolean Fill(Formula Filler) {
  58         if(leftF.toString().equals("_")) {
  59             this.leftF = Filler;
  60             return true;
  61         }
  62         else if(rightF.toString().equals("_")) {
  63             this.rightF = Filler;
  64             return true;
  65         }
  66         return leftF.Fill(Filler) || rightF.Fill(Filler);
  67     }
  68
  69     @Override
  70     public boolean setCursor() {
  71         return leftF.setCursor() || rightF.setCursor();
  72     }
  73
  74     @Override
  75     public Formula duplicate() {
  76         return new FormulaOr(leftF.duplicate(),rightF.duplicate());
  77     }
  78 }
  79