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

   1 package com.example.furt.myapplication;
   2
   3 public class RuleNotElimination implements EliminationRule
   4 {
   5     String ruleName;
   6     FormulaNot Fn;
   7     RuleNotElimination(FormulaNot F)
   8     {
   9         Fn=F;
  10         ruleName="¬e";
  11     }
  12     public Node createNodes(Formula F,askFormula ask)
  13     {
  14         Formula C=ask.Ask();
  15         if ((C.toString().equals("⊥"))&&(F==null ||F==Fn.Operand)) //top-down con nodo attuale bottom o bottom-up con nodi attuali Fn e !Fn
  16         {
  17             Node elNode=new Node(Fn);
  18             Node cNode=new Node(Fn.Operand);
  19             Node rNode=new Node(C);
  20             rNode.addChild(elNode);
  21             rNode.addChild(cNode);
  22             rNode.ruleName=ruleName;
  23             return rNode;
  24         }
  25         else
  26             return null;
  27     }
  28 }
  29