@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( List<? extends ElkIndividual> individuals) { return new ElkDifferentIndividualsAxiomImpl(individuals); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }
@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( List<? extends ElkIndividual> individuals) { return new ElkDifferentIndividualsAxiomImpl(individuals); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }
@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( List<? extends ElkIndividual> individuals) { return new ElkDifferentIndividualsAxiomImpl(individuals); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }
@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return new ElkDifferentIndividualsAxiomImpl( ElkObjectListObject.varArgsToList(first, second, other)); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }
@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return new ElkDifferentIndividualsAxiomImpl( ElkObjectListObject.varArgsToList(first, second, other)); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }
@Override public ElkDifferentIndividualsAxiom getDifferentIndividualsAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return new ElkDifferentIndividualsAxiomImpl( ElkObjectListObject.varArgsToList(first, second, other)); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDifferentIndividualsAxiomVisitor<O>) visitor); }