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

   1 package com.example.furt.myapplication;
   2
   3 public class RuleBotElimination implements EliminationRule
   4 {
   5     String ruleName;
   6     FormulaBOT Fn;
   7     RuleBotElimination(FormulaBOT 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=F;
  17         else
  18             C=ask.Ask();
  19         Node elNode=new Node(Fn);
  20         Node rNode=new Node(C);
  21         rNode.addChild(elNode);
  22         rNode.ruleName=ruleName;
  23         return rNode;
  24     }
  25 }