@Override public ModifiableElkSameIndividualAxiomConversion getElkSameIndividualAxiomConversion( ElkSameIndividualAxiom originalAxiom, int subIndividualPosition, int superIndividualPosition, ModifiableIndexedIndividual subIndividual, ModifiableIndexedIndividual superIndividual) { return new ModifiableElkSameIndividualAxiomConversionImpl(originalAxiom, subIndividualPosition, superIndividualPosition, subIndividual, superIndividual); }
@Override public ModifiableElkSameIndividualAxiomConversion getElkSameIndividualAxiomConversion( ElkSameIndividualAxiom originalAxiom, int subIndividualPosition, int superIndividualPosition, ModifiableIndexedIndividual subIndividual, ModifiableIndexedIndividual superIndividual) { return new ModifiableElkSameIndividualAxiomConversionImpl(originalAxiom, subIndividualPosition, superIndividualPosition, subIndividual, superIndividual); }
@Override public ModifiableElkSameIndividualAxiomConversion getElkSameIndividualAxiomConversion( ElkSameIndividualAxiom originalAxiom, int subIndividualPosition, int superIndividualPosition, ModifiableIndexedIndividual subIndividual, ModifiableIndexedIndividual superIndividual) { return new ModifiableElkSameIndividualAxiomConversionImpl(originalAxiom, subIndividualPosition, superIndividualPosition, subIndividual, superIndividual); }