mainActivity/src/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     public String getName()
  10     {
  11         return ruleName;
  12     }
  13     FormulaOr Fn;
  14     RuleOrElimination(FormulaOr F)
  15     {
  16         Fn=F;
  17         ruleName="∨e";
  18     }
  19     public Node createNodes(Formula F,askFormula ask)
  20     {
  21         Formula C;
  22         if (F==null)
  23             C=ask.Ask();
  24         else
  25             C=F;
  26             Node elNode=new Node(Fn);
  27             Node c1Node=new Node(C);
  28             Node c2Node=new Node(C);
  29             List<Formula> HP1=new ArrayList<Formula>();
  30             List<Formula> HP2=new ArrayList<Formula>();
  31             HP1.add(Fn.leftF);
  32             HP2.add(Fn.rightF);
  33             c1Node.addHPFormula(HP1,true);
  34             c2Node.addHPFormula(HP2,true);
  35             Node rNode=new Node(C);
  36             rNode.addChild(elNode);
  37             rNode.addChild(c1Node);
  38             rNode.addChild(c2Node);
  39             rNode.ruleName=ruleName;
  40             return rNode;
  41     }
  42 }