mainActivity/app/src/main/java/com/example/furt/myapplication/RuleOrElimination.java

   1 package com.example.furt.myapplication;
   2
   3 import java.util.ArrayList;
   4 import java.util.List;
   5
   6 public class RuleOrElimination implements EliminationRule
   7 {
   8     String ruleName;
   9     FormulaOr Fn;
  10     RuleOrElimination(FormulaOr F)
  11     {
  12         Fn=F;
  13         ruleName="∨e";
  14     }
  15     public Node createNodes(Formula F,askFormula ask)
  16     {
  17         Formula C;
  18         if (F==null)
  19             C=ask.Ask();
  20         else
  21             C=F;
  22             Node elNode=new Node(Fn);
  23             Node c1Node=new Node(C);
  24             Node c2Node=new Node(C);
  25             List<Formula> HP1=new ArrayList<Formula>();
  26             List<Formula> HP2=new ArrayList<Formula>();
  27             HP1.add(Fn.leftF);
  28             HP2.add(Fn.rightF);
  29             c1Node.addHPFormula(HP1,true);
  30             c2Node.addHPFormula(HP2,true);
  31             Node rNode=new Node(C);
  32             rNode.addChild(elNode);
  33             rNode.addChild(c1Node);
  34             rNode.addChild(c2Node);
  35             rNode.ruleName=ruleName;
  36             return rNode;
  37     }
  38 }