@Override public ModifiableElkDifferentIndividualsAxiomBinaryConversion getElkDifferentIndividualsAxiomBinaryConversion( ElkDifferentIndividualsAxiom originalAxiom, int firstIndividualPosition, int secondIndividualPosition, ModifiableIndexedObjectIntersectionOf conjunction, ModifiableIndexedClass bottom) { return new ModifiableElkDifferentIndividualsAxiomBinaryConversionImpl( originalAxiom, firstIndividualPosition, secondIndividualPosition, conjunction, bottom); }
@Override public ModifiableElkDifferentIndividualsAxiomBinaryConversion getElkDifferentIndividualsAxiomBinaryConversion( ElkDifferentIndividualsAxiom originalAxiom, int firstIndividualPosition, int secondIndividualPosition, ModifiableIndexedObjectIntersectionOf conjunction, ModifiableIndexedClass bottom) { return new ModifiableElkDifferentIndividualsAxiomBinaryConversionImpl( originalAxiom, firstIndividualPosition, secondIndividualPosition, conjunction, bottom); }
@Override public ModifiableElkDifferentIndividualsAxiomBinaryConversion getElkDifferentIndividualsAxiomBinaryConversion( ElkDifferentIndividualsAxiom originalAxiom, int firstIndividualPosition, int secondIndividualPosition, ModifiableIndexedObjectIntersectionOf conjunction, ModifiableIndexedClass bottom) { return new ModifiableElkDifferentIndividualsAxiomBinaryConversionImpl( originalAxiom, firstIndividualPosition, secondIndividualPosition, conjunction, bottom); }