1 package com.example.furt.myapplication;
3 public class RuleBotElimination implements EliminationRule
7 RuleBotElimination(FormulaBOT F)
12 public Node createNodes(Formula F,askFormula ask)
19 Node elNode=new Node(Fn);
20 Node rNode=new Node(C);
21 rNode.addChild(elNode);
22 rNode.ruleName=ruleName;