@Override public <O> O accept(ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDeclarationAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedDeclarationAxiom getConclusion( IndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public final IndexedDeclarationAxiom getConclusion( IndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public final ModifiableIndexedDeclarationAxiom getConclusion( ModifiableIndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public <O> O accept(ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDeclarationAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedDeclarationAxiom getConclusion( IndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedDeclarationAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedDeclarationAxiom getConclusion( ModifiableIndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public <O> O accept(ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDeclarationAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedDeclarationAxiom getConclusion( ModifiableIndexedDeclarationAxiom.Factory factory) { return factory.getIndexedDeclarationAxiom(getOriginalAxiom(), getEntity()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedDeclarationAxiomInference.Visitor<O>) visitor); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept((IndexedDeclarationAxiomInference.Visitor<O>) visitor); }