@Override public final boolean removeToldRange(IndexedClassExpression range, ElkAxiom reason) { int i = indexOf(range, reason); if (i < 0) return false; // else success toldRanges_.remove(i); toldRangesReasons_.remove(i); if (toldRanges_.isEmpty()) toldRanges_ = null; if (toldRangesReasons_.isEmpty()) toldRangesReasons_ = null; return true; }
@Override public final boolean removeToldRange(IndexedClassExpression range, ElkAxiom reason) { int i = indexOf(range, reason); if (i < 0) return false; // else success toldRanges_.remove(i); toldRangesReasons_.remove(i); if (toldRanges_.isEmpty()) toldRanges_ = null; if (toldRangesReasons_.isEmpty()) toldRangesReasons_ = null; return true; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final boolean removeToldSubPropertyChain( IndexedPropertyChain subChain, ElkAxiom reason) { int i = indexOf(subChain, reason); if (i < 0) return false; // else success toldSubChains_.remove(i); toldSubChainsReasons_.remove(i); if (toldSubChains_.isEmpty()) toldSubChains_ = null; if (toldSubChainsReasons_.isEmpty()) toldSubChainsReasons_ = null; return true; }
@Override public final boolean removeToldRange(IndexedClassExpression range, ElkAxiom reason) { int i = indexOf(range, reason); if (i < 0) return false; // else success toldRanges_.remove(i); toldRangesReasons_.remove(i); if (toldRanges_.isEmpty()) toldRanges_ = null; if (toldRangesReasons_.isEmpty()) toldRangesReasons_ = null; return true; }