public void visit(OWLDifferentIndividualsAxiom axiom) { hashCode = 29; hashCode = hashCode * MULT + axiom.getIndividuals().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { hashCode = primes[7]; hashCode = hashCode * MULT + axiom.getIndividuals().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { hashCode = 29; hashCode = hashCode * MULT + axiom.getIndividuals().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
if (ax.getIndividuals().size() > 2) { Map<Object, Set<OWLAnnotation>> map = new HashMap<Object, Set<OWLAnnotation>>(); map.put(ax.getIndividuals(), ax.getAnnotations()); writeSection(DIFFERENT_INDIVIDUALS, map, ",", false, ontology);