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());
35 //Regola di introduzione dell'And
36 RuleIntroduction andIntroduction=new RuleIntroduction("∧i",5);
37 Node Left=new Node(leftF);
38 Node Right=new Node(rightF);
39 Node thisNode=new Node(this);
40 thisNode.addChild(Left);
41 thisNode.addChild(Right);
42 andIntroduction.tempRule=thisNode;
43 rules.add(andIntroduction);
47 public List<EliminationRule> EliminationRules()
49 List<EliminationRule> nodes=new ArrayList<EliminationRule>();
50 nodes.add(new RuleAndElimination(this));
55 public boolean Fill(Formula Filler) {
56 if(leftF.toString().equals("_")) {
60 else if(rightF.toString().equals("_")) {
64 return leftF.Fill(Filler) || rightF.Fill(Filler);
68 public boolean setCursor() {
69 return leftF.setCursor() || rightF.setCursor();
73 public Formula duplicate() {
74 return new FormulaAnd(leftF.duplicate(),rightF.duplicate());