@Override @SuppressWarnings("unchecked") public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns) { return (T) new OWLDifferentIndividualsAxiomImpl(individuals, mergeAnnos(anns)); }
@Override @SuppressWarnings("unchecked") public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns) { return (T) new OWLDifferentIndividualsAxiomImpl(individuals, mergeAnnos(anns)); }
@Override @SuppressWarnings("unchecked") public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns) { return (T) new OWLDifferentIndividualsAxiomImpl(individuals, mergeAnnos(anns)); }
@Override @SuppressWarnings("unchecked") public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(individuals, NO_ANNOTATIONS); }
@Override @SuppressWarnings("unchecked") public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(individuals, NO_ANNOTATIONS); }
@Override @SuppressWarnings("unchecked") public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(individuals, NO_ANNOTATIONS); }
@Override @SuppressWarnings("unchecked") public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(individuals, NO_ANNOTATIONS); }
@Nonnull @Override public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom( @Nonnull Set<? extends OWLIndividual> individuals, @Nonnull Set<? extends OWLAnnotation> annotations) { checkNull(individuals, "individuals", true); checkAnnotations(annotations); return new OWLDifferentIndividualsAxiomImpl(individuals, annotations); }
@Override public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom( Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations) { checkIterableNotNull(individuals, INDIVIDUALS_CANNOT_BE_NULL, true); checkAnnotations(annotations); return new OWLDifferentIndividualsAxiomImpl(individuals, annotations); }
@Override public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations) { checkNull(individuals, "individuals"); checkNull(annotations, ANNOTATIONS, true); return new OWLDifferentIndividualsAxiomImpl(individuals, annotations); }
@Override public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), NO_ANNOTATIONS); }
@Override public OWLDifferentIndividualsAxiom getAnnotatedAxiom( Set<OWLAnnotation> annotations) { return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), mergeAnnos(annotations)); }
@Override public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), NO_ANNOTATIONS); }
@Override public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom( Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations) { checkIterableNotNull(individuals, INDIVIDUALS_CANNOT_BE_NULL, true); checkAnnotations(annotations); return new OWLDifferentIndividualsAxiomImpl(individuals, annotations); }
@Override public Collection<OWLDifferentIndividualsAxiom> splitToAnnotatedPairs() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), annotations)); }
@Override public Collection<OWLDifferentIndividualsAxiom> splitToAnnotatedPairs() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), annotations)); }
@Override public Collection<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), NO_ANNOTATIONS)); }
@Override public Collection<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), NO_ANNOTATIONS)); }
@Override public Collection<OWLDifferentIndividualsAxiom> splitToAnnotatedPairs() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), annotations)); }
@Override public Collection<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), NO_ANNOTATIONS)); }