/** * @param doExplanation The doExplanation to set. */ public default void setDoExplanation(final boolean doExplanation) { getABox().setDoExplanation(doExplanation); }
/** * @param doExplanation The doExplanation to set. */ public default void setDoExplanation(final boolean doExplanation) { getABox().setDoExplanation(doExplanation); }
_abox.setDoExplanation(true); _abox.setDoExplanation(true); _abox.setDoExplanation(false); _abox.setDoExplanation(doExplanation);
_abox.setDoExplanation(true); _abox.setDoExplanation(true); _abox.setDoExplanation(false); _abox.setDoExplanation(doExplanation);
@Override public void clear() { if (_abox == null) _abox = new ABoxImpl(this); else { final boolean doExplanation = _abox.doExplanation(); final boolean keepLastCompletion = _abox.isKeepLastCompletion(); _abox = new ABoxImpl(this); _abox.setDoExplanation(doExplanation); _abox.setKeepLastCompletion(keepLastCompletion); } _tbox = TBoxFactory.createTBox(this); _rbox = new RBoxImpl(); _rules.clear(); // All operations are atomic (and we must allow null normalized rules). _expChecker = new ExpressivityChecker(this); _individuals.clear(); _aboxAssertions.clear(); _instances.clear(); _builder = Optional.empty(); _state.clear(); _changes = EnumSet.of(ChangeType.ABOX_ADD, ChangeType.TBOX_ADD, ChangeType.RBOX_ADD); }
@Override public void clear() { if (_abox == null) _abox = new ABoxImpl(this); else { final boolean doExplanation = _abox.doExplanation(); final boolean keepLastCompletion = _abox.isKeepLastCompletion(); _abox = new ABoxImpl(this); _abox.setDoExplanation(doExplanation); _abox.setKeepLastCompletion(keepLastCompletion); } _tbox = TBoxFactory.createTBox(this); _rbox = new RBoxImpl(); _rules.clear(); // All operations are atomic (and we must allow null normalized rules). _expChecker = new ExpressivityChecker(this); _individuals.clear(); _aboxAssertions.clear(); _instances.clear(); _builder = Optional.empty(); _state.clear(); _changes = EnumSet.of(ChangeType.ABOX_ADD, ChangeType.TBOX_ADD, ChangeType.RBOX_ADD); }
_abox.setDoExplanation(true); _abox.setDoExplanation(explain);
_abox.setDoExplanation(true); _abox.setDoExplanation(explain);