@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_ = true; ContradictionOverBackwardLinkRule.addTo(ContextImpl.this); return before != isInconsistent_; }
@Override public Boolean visit(ClassInconsistency conclusion) { boolean before = isInconsistent_; isInconsistent_ = true; ContradictionOverBackwardLinkRule.addTo(ContextImpl.this); return before != isInconsistent_; }