@Override public ModifiableElkEquivalentClassesAxiomSubClassConversion getElkEquivalentClassesAxiomSubClassConversion( ElkEquivalentClassesAxiom originalAxiom, int subClassPosition, int superClassPosition, ModifiableIndexedClassExpression subClass, ModifiableIndexedClassExpression superClass) { return new ModifiableElkEquivalentClassesAxiomSubClassConversionImpl( originalAxiom, subClassPosition, superClassPosition, subClass, superClass); }
@Override public ModifiableElkEquivalentClassesAxiomSubClassConversion getElkEquivalentClassesAxiomSubClassConversion( ElkEquivalentClassesAxiom originalAxiom, int subClassPosition, int superClassPosition, ModifiableIndexedClassExpression subClass, ModifiableIndexedClassExpression superClass) { return new ModifiableElkEquivalentClassesAxiomSubClassConversionImpl( originalAxiom, subClassPosition, superClassPosition, subClass, superClass); }
@Override public ModifiableElkEquivalentClassesAxiomSubClassConversion getElkEquivalentClassesAxiomSubClassConversion( ElkEquivalentClassesAxiom originalAxiom, int subClassPosition, int superClassPosition, ModifiableIndexedClassExpression subClass, ModifiableIndexedClassExpression superClass) { return new ModifiableElkEquivalentClassesAxiomSubClassConversionImpl( originalAxiom, subClassPosition, superClassPosition, subClass, superClass); }