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