@Override public void unprune(final int branch) { super.unprune(branch); checkClash(); }
@Override public void unprune(final int branch) { super.unprune(branch); checkClash(); }
public void reset(final boolean onlyApplyTypes) { assert onlyApplyTypes || isRootNominal() : "Only asserted individuals can be reset: " + this; if (OpenlletOptions.USE_COMPLETION_QUEUE) _abox.getCompletionQueue().add(new QueueElement(this)); if (onlyApplyTypes) return; if (_pruned != null) unprune(DependencySet.NO_BRANCH); _mergedTo = this; _mergeDepends = DependencySet.INDEPENDENT; _merged = null; final Iterator<DependencySet> i = _differents.values().iterator(); while (i.hasNext()) { final DependencySet d = i.next(); if (d.getBranch() != DependencySet.NO_BRANCH) i.remove(); } resetTypes(); _inEdges.reset(); }
public void reset(final boolean onlyApplyTypes) { assert onlyApplyTypes || isRootNominal() : "Only asserted individuals can be reset: " + this; if (OpenlletOptions.USE_COMPLETION_QUEUE) _abox.getCompletionQueue().add(new QueueElement(this)); if (onlyApplyTypes) return; if (_pruned != null) unprune(DependencySet.NO_BRANCH); _mergedTo = this; _mergeDepends = DependencySet.INDEPENDENT; _merged = null; final Iterator<DependencySet> i = _differents.values().iterator(); while (i.hasNext()) { final DependencySet d = i.next(); if (d.getBranch() != DependencySet.NO_BRANCH) i.remove(); } resetTypes(); _inEdges.reset(); }
undoSetSame(); unprune(branch);
undoSetSame(); unprune(branch);
throw new InternalReasonerException(" Restore merge error: " + ind + " not pruned"); ind.unprune(ind.getPruned().getBranch()); // unprune to prune _branch
throw new InternalReasonerException(" Restore merge error: " + ind + " not pruned"); ind.unprune(ind.getPruned().getBranch()); // unprune to prune _branch
@Override public void unprune(final int branch) super.unprune(branch);
@Override public void unprune(final int branch) super.unprune(branch);