@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubClassOfAxiomInference.Visitor<O>) visitor); }
@Override public IndexedSubClassOfAxiom getConclusion( IndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public final ModifiableIndexedSubClassOfAxiom getConclusion( ModifiableIndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public IndexedSubClassOfAxiom getConclusion( IndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubClassOfAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedSubClassOfAxiom getConclusion( ModifiableIndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubClassOfAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedSubClassOfAxiom getConclusion( ModifiableIndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedSubClassOfAxiomInference.Visitor<O>) visitor); }
@Override public IndexedSubClassOfAxiom getConclusion( IndexedSubClassOfAxiom.Factory factory) { return factory.getIndexedSubClassOfAxiom(getOriginalAxiom(), getSubClass(), getSuperClass()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedSubClassOfAxiomInference.Visitor<O>) visitor); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedSubClassOfAxiomInference.Visitor<O>) visitor); }