@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> 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)); }
@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)); }