/** * Resets this _node (_types, edges, sames, _differents) to contain only asserted information. This function can be seen a specialized case of restore but a * special function is needed both for correctness (e.g. SMART_RESTORE option should not change behavior) and performance */ @Override public void reset(final boolean onlyApplyTypes) { super.reset(onlyApplyTypes); for (int i = 0; i < TYPES; i++) _applyNext[i] = 0; if (onlyApplyTypes) return; _outEdges.reset(); }
/** * Resets this _node (_types, edges, sames, _differents) to contain only asserted information. This function can be seen a specialized case of restore but a * special function is needed both for correctness (e.g. SMART_RESTORE option should not change behavior) and performance */ @Override public void reset(final boolean onlyApplyTypes) { super.reset(onlyApplyTypes); for (int i = 0; i < TYPES; i++) _applyNext[i] = 0; if (onlyApplyTypes) return; _outEdges.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(); }
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(); }