/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) { this(df); withItems(expected.individuals()).withAnnotations(expected.annotations()); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) { this(df); withItems(expected.individuals()).withAnnotations(expected.annotations()); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) { this(df); withItems(expected.individuals()).withAnnotations(expected.annotations()); }
/** * Builder initialized from an existing object. * * @param expected * the existing object * @param df * data factory */ public BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) { this(df); withItems(expected.individuals()).withAnnotations(expected.annotations()); }
@Override public Object visit(OWLDifferentIndividualsAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDifferentIndividualsAxiom(t(axiom.individuals()), t(axiom .annotations()))); }
@Override public Object visit(OWLDifferentIndividualsAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDifferentIndividualsAxiom(t(axiom.individuals()), t(axiom .annotations()))); }
@Override public Object visit(OWLDifferentIndividualsAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDifferentIndividualsAxiom(t(axiom.individuals()), t(axiom .annotations()))); }