+++ /dev/null
-package com.example.furt.myapplication;
-
-public class RuleImplElimination implements EliminationRule
-{
- String ruleName;
- FormulaImpl Fn;
- RuleImplElimination(FormulaImpl F)
- {
- Fn=F;
- ruleName="⇒e";
- }
- public Node createNodes(Formula F,askFormula ask)
- {
- Formula C;
- if (F==null) {
- C=ask.Ask();
- if (!(C.toString().equals(Fn.rightF.toString())))
- return null;
- }
- else
- if (!(F.toString().equals(Fn.rightF.toString())))
- return null;
- Node elNode=new Node(Fn);
- Node lNode=new Node(Fn.leftF);
- Node bNode=new Node(Fn.rightF);
- bNode.addChild(elNode);
- bNode.addChild(lNode);
- bNode.ruleName=ruleName;
- return bNode;
- }
-}