@Override public Boolean visit(BackwardLink subConclusion) { ContextPremises premises = get(); ruleAppVisitor.visit(SubsumerBackwardLinkRule.getInstance(), subConclusion, premises, producer); // apply all backward link rules of the context LinkedBackwardLinkRule backLinkRule = premises .getBackwardLinkRuleHead(); while (backLinkRule != null) { backLinkRule.accept(ruleAppVisitor, subConclusion, premises, producer); backLinkRule = backLinkRule.next(); } return true; }
@Override public Boolean visit(BackwardLink subConclusion) { ContextPremises premises = get(); ruleAppVisitor.visit(SubsumerBackwardLinkRule.getInstance(), subConclusion, premises, producer); // apply all backward link rules of the context LinkedBackwardLinkRule backLinkRule = premises .getBackwardLinkRuleHead(); while (backLinkRule != null) { backLinkRule.accept(ruleAppVisitor, subConclusion, premises, producer); backLinkRule = backLinkRule.next(); } return true; }
@Override public Boolean visit(BackwardLink subConclusion) { ContextPremises premises = get(); ruleAppVisitor.visit(SubsumerBackwardLinkRule.getInstance(), subConclusion, premises, producer); // apply all backward link rules of the context LinkedBackwardLinkRule backLinkRule = premises .getBackwardLinkRuleHead(); while (backLinkRule != null) { backLinkRule.accept(ruleAppVisitor, subConclusion, premises, producer); backLinkRule = backLinkRule.next(); } return true; }