1 package com.example.furt.myapplication;
3 import java.util.ArrayList;
5 public class RuleAndElimination implements EliminationRule
8 public String getName()
13 RuleAndElimination(FormulaAnd F){
17 public Node createNodes(Formula F,askFormula ask)
24 Node cNode=new Node(C);
25 if ((C.toString().equals(Fn.leftF.toString())) || (C.toString().equals(Fn.rightF.toString()))) //I can return leftAnd rule or rightAnd rule
27 cNode.addChild(new Node(Fn));
30 Node elNode=new Node(Fn);
31 List<Formula> HP=new ArrayList<Formula>();
34 cNode.addHPFormula(HP,true);
35 Node rNode=new Node(C);
36 rNode.addChild(elNode);
37 rNode.addChild(cNode);
38 rNode.ruleName=ruleName;