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

   1 package com.example.furt.myapplication;
   2
   3 public class RuleImplElimination implements EliminationRule
   4 {
   5     String ruleName;
   6     public String getName()
   7     {
   8         return ruleName;
   9     }
  10     FormulaImpl Fn;
  11     RuleImplElimination(FormulaImpl F)
  12     {
  13         Fn=F;
  14         ruleName="⇒e";
  15     }
  16     public Node createNodes(Formula F,askFormula ask)
  17     {
  18         Formula C;
  19         if (F==null) {
  20             C=ask.Ask();
  21             if (!(C.toString().equals(Fn.rightF.toString())))
  22                 return null;
  23         }
  24         else
  25             if (!(F.toString().equals(Fn.rightF.toString())))
  26                 return null;
  27             Node elNode=new Node(Fn);
  28             Node lNode=new Node(Fn.leftF);
  29             Node bNode=new Node(Fn.rightF);
  30             bNode.addChild(elNode);
  31             bNode.addChild(lNode);
  32             bNode.ruleName=ruleName;
  33             return bNode;
  34     }
  35 }