1 package com.example.furt.myapplication;
3 import java.util.ArrayList;
6 public class RuleAndElimination implements EliminationRule
10 RuleAndElimination(FormulaAnd F){
14 public Node createNodes(Formula F,askFormula ask)
17 if (F==null) //applicazione Top-Down: chiamo la callback
20 C=F; //applicazione bottom-up: il nuovo nodo è la formula F passata
21 Node cNode=new Node(C);
22 if ((C.toString().equals(Fn.leftF.toString())) || (C.toString().equals(Fn.rightF.toString()))) //Posso utilizzare le regole di eliminazione sinistra o destra
24 cNode.addChild(new Node(Fn));
25 cNode.ruleName=ruleName;
28 Node elNode=new Node(Fn);
29 List<Formula> HP=new ArrayList<Formula>();
32 cNode.addHPFormula(HP,true);
33 Node rNode=new Node(C);
34 rNode.addChild(elNode);
35 rNode.addChild(cNode);
36 rNode.ruleName=ruleName;