@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedEquivalentClassesAxiom getConclusion( ModifiableIndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final IndexedEquivalentClassesAxiom getConclusion( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final IndexedEquivalentClassesAxiom getConclusion( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedEquivalentClassesAxiom getConclusion( ModifiableIndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedEquivalentClassesAxiom getConclusion( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedEquivalentClassesAxiom getConclusion( ModifiableIndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(getOriginalAxiom(), getFirstMember(), getSecondMember()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedEquivalentClassesAxiomInference.Visitor<O>) visitor); }