1 package com.example.furt.myapplication;
3 import java.util.ArrayList;
6 public class FormulaAnd extends GenericFormula implements Formula
12 FormulaAnd(Formula F1,Formula F2)
21 public String Draw(int p)
24 return leftF.Draw(leftPriority)+"∧"+rightF.Draw(rightPriority);
26 return("(")+leftF.Draw(leftPriority)+"∧"+rightF.Draw(rightPriority)+")";
30 public List<IntroductionRule> introductionRules()
32 List<IntroductionRule> rules=new ArrayList<IntroductionRule>();
33 rules.addAll(super.introductionRules());
34 RuleIntroduction andIntroduction=new RuleIntroduction("∧i",5);
35 Node Left=new Node(leftF);
36 Node Right=new Node(rightF);
37 Node thisNode=new Node(this);
38 thisNode.addChild(Left);
39 thisNode.addChild(Right);
40 andIntroduction.tempRule=thisNode;
41 rules.add(andIntroduction);
44 public List<EliminationRule> EliminationRules()
46 List<EliminationRule> nodes=new ArrayList<EliminationRule>();
47 nodes.add(new RuleAndElimination(this));
52 public boolean Fill(Formula Filler) {
53 if(leftF.toString().equals("_")) {
57 else if(rightF.toString().equals("_")) {
61 return leftF.Fill(Filler) || rightF.Fill(Filler);
65 public boolean setCursor() {
66 return leftF.setCursor() || rightF.setCursor();
70 public Formula duplicate() {
71 return new FormulaAnd(leftF.duplicate(),rightF.duplicate());