@Override public void classify(final ATermAppl c) { _builder.add(c); }
@Override public void classify(final ATermAppl c) { _builder.add(c); }
/** * Adds a collection of elements to the partial _order. * * @param elements new elements to add */ public void addAll(final Collection<? extends T> elements) { for (final T toInsert : elements) add(toInsert); }
/** * Adds a collection of elements to the partial _order. * * @param elements new elements to add */ public void addAll(final Collection<? extends T> elements) { for (final T toInsert : elements) add(toInsert); }
public void add(final T toAdd) { add(toAdd, false); }
public void add(final T toAdd) { add(toAdd, false); }
/** * {@inheritDoc} */ @Override public NodeSet<OWLClass> getDisjointClasses(final OWLClassExpression ce) { final DisjointClassComparator disjointClassComparator = new DisjointClassComparator(_taxonomyImpl, ce); if (!_taxonomyImpl.contains(disjointClassComparator.getComplementRepresentation())) { _reasoner.flush(); final PartialOrderBuilder<OWLClass> orderBuilder = new PartialOrderBuilder<>(_taxonomyImpl, disjointClassComparator); orderBuilder.add(disjointClassComparator.getComplementRepresentation(), true); } final OWLClassNodeSet result = new OWLClassNodeSet(); for (final Set<OWLClass> equivSet : _taxonomyImpl.getSubs(disjointClassComparator.getComplementRepresentation(), false)) result.addSameEntities(equivSet); return result; }
/** * {@inheritDoc} */ @Override public NodeSet<OWLClass> getDisjointClasses(final OWLClassExpression ce) { final DisjointClassComparator disjointClassComparator = new DisjointClassComparator(_taxonomyImpl, ce); if (!_taxonomyImpl.contains(disjointClassComparator.getComplementRepresentation())) { _reasoner.flush(); final PartialOrderBuilder<OWLClass> orderBuilder = new PartialOrderBuilder<>(_taxonomyImpl, disjointClassComparator); orderBuilder.add(disjointClassComparator.getComplementRepresentation(), true); } final OWLClassNodeSet result = new OWLClassNodeSet(); for (final Set<OWLClass> equivSet : _taxonomyImpl.getSubs(disjointClassComparator.getComplementRepresentation(), false)) result.addSameEntities(equivSet); return result; }