@Override public IndexedEquivalentClassesAxiom getIndexedEquivalentClassesAxiom( ElkAxiom originalAxiom, IndexedClassExpression firstMember, IndexedClassExpression secondMember) { return new IndexedEquivalentClassesAxiomImpl<ElkAxiom, IndexedClassExpression>( originalAxiom, firstMember, secondMember); }
@Override public IndexedEquivalentClassesAxiom getIndexedEquivalentClassesAxiom( ElkAxiom originalAxiom, IndexedClassExpression firstMember, IndexedClassExpression secondMember) { return new IndexedEquivalentClassesAxiomImpl<ElkAxiom, IndexedClassExpression>( originalAxiom, firstMember, secondMember); }
@Override public IndexedEquivalentClassesAxiom getIndexedEquivalentClassesAxiom( ElkAxiom originalAxiom, IndexedClassExpression firstMember, IndexedClassExpression secondMember) { return new IndexedEquivalentClassesAxiomImpl<ElkAxiom, IndexedClassExpression>( originalAxiom, firstMember, secondMember); }