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     FormulaImpl Fn;
   7     RuleImplElimination(FormulaImpl F)
   8     {
   9         Fn=F;
  10         ruleName="⇒e";
  11     }
  12     public Node createNodes(Formula F,askFormula ask)
  13     {
  14         Formula C;
  15         if (F==null) {
  16             C=ask.Ask();
  17             if (!(C.toString().equals(Fn.rightF.toString())))
  18                 return null;
  19         }
  20         else
  21             if (!(F.toString().equals(Fn.rightF.toString())))
  22                 return null;
  23             Node elNode=new Node(Fn);
  24             Node lNode=new Node(Fn.leftF);
  25             Node bNode=new Node(Fn.rightF);
  26             bNode.addChild(elNode);
  27             bNode.addChild(lNode);
  28             bNode.ruleName=ruleName;
  29             return bNode;
  30     }
  31 }