@Override public ContradictionOverBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new ContradictionOverBackwardLinkRule(tail); } };
@Override public void accept(BackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedBackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(LinkedBackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = true; ContradictionOverBackwardLinkRule.addTo(ContextImpl.this); return before != isInconsistent_; }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = false; ContradictionOverBackwardLinkRule.removeFrom(ContextImpl.this); return before != isInconsistent_; }
@Override public void accept(BackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public Boolean visit(ForwardLink conclusion) { return BackwardLinkChainFromBackwardLinkRule.removeRuleFor( conclusion, ContextImpl.this); }
@Override public void accept(RuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((BackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public BackwardLinkChainFromBackwardLinkRule create( LinkableBackwardLinkRule tail) { return new BackwardLinkChainFromBackwardLinkRule(tail); } };
@Override public void accept(BackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedBackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(LinkedBackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = true; ContradictionOverBackwardLinkRule.addTo(ContextImpl.this); return before != isInconsistent_; }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = false; ContradictionOverBackwardLinkRule.removeFrom(ContextImpl.this); return before != isInconsistent_; }
@Override public void accept(BackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((BackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(LinkedBackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = true; ContradictionOverBackwardLinkRule.addTo(ContextImpl.this); return before != isInconsistent_; }
@Override public void accept(BackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((LinkedBackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }
@Override public void accept(LinkedBackwardLinkRuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { visitor.visit(this, premise, premises, producer); }
@Override public void accept(RuleVisitor<?> visitor, BackwardLink premise, ContextPremises premises, ClassInferenceProducer producer) { accept((BackwardLinkRuleVisitor<?>) visitor, premise, premises, producer); }