/** * Unregister an object * * @param object * the object */ public synchronized void unregisterObject(T object) { this.objectList.removeIf(r -> r.object == object); }
public void removeData(ExtendedDataRowId rowId) { rows.removeIf(row -> row.getId().equals(rowId)); }
ids.removeIf(id -> id.startsWith("SystemV/"));
public void removeChild(final DecisionNavigatorItem item) { getChildren().removeIf(i -> i.getUUID().equals(item.getUUID())); }
TreeSet<SyzygyPair<Term, Poly>> c = it.next(); c.removeIf(sPair -> dividesQ(newLeadTerm, sPair.syzygyGamma) && !Arrays.equals(sPair.fi == basis.get(sPair.i) ? lcm[sPair.i] : lcm(sPair.fi.lt().exponents, newLeadTerm.exponents), sPair.syzygyGamma.exponents) && !Arrays.equals(sPair.fj == basis.get(sPair.j) ? lcm[sPair.j] : lcm(sPair.fj.lt().exponents, newLeadTerm.exponents), sPair.syzygyGamma.exponents));
@Override protected TreeSet<OWLClassExpression> getSubClassesImpl(OWLClassExpression ce) { NodeSet<OWLClass> classes; try { classes = reasoner.getSubClasses(ce, true); } catch (UnsupportedOperationException e) { if (useFallbackReasoner) { classes = fallbackReasoner.getSubClasses(ce, true); } else { throw e; } } TreeSet<OWLClassExpression> subClasses = getFirstClasses(classes); subClasses.remove(df.getOWLNothing()); // remove built-in entities sometimes returned as subclasses of // owl:Thing if (ce.isOWLThing()) { subClasses.removeIf(_ce -> !_ce.isAnonymous() && _ce.asOWLClass().getIRI().isReservedVocabulary()); } return subClasses; }
/** remove redundant S-pairs using Hilbert function */ private static <Term extends AMonomial<Term>, Poly extends MonomialSetView<Term>> HilbertUpdate updateWithHPS(HilbertSeries hilbertSeries, HilbertSeries currentHPS, GradedSyzygyTreeSet<Term, Poly> sPairs) { if (currentHPS.equals(hilbertSeries)) // we are done return new HilbertUpdate(); // since Mon(current) ⊆ Mon(ideal) we can use only numerators of HPS int currentDegree = 0; for (; ; ++currentDegree) if (!hilbertSeries.initialNumerator.get(currentDegree).equals(currentHPS.initialNumerator.get(currentDegree))) break; Rational<BigInteger> delta = currentHPS.initialNumerator.get(currentDegree).subtract(hilbertSeries.initialNumerator.get(currentDegree)); assert delta.isIntegral() && delta.numerator().signum() > 0; int hilbertDelta = delta.numerator().intValueExact(); // remove redundant S-pairs final int mDegree = currentDegree; int sizeBefore = sPairs.size(); sPairs.allSets().forEach(set -> set.removeIf(s -> s.degree() < mDegree)); return new HilbertUpdate(currentDegree, hilbertDelta, sizeBefore - sPairs.size()); }