@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedDisjointClassesAxiom getConclusion( IndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final IndexedDisjointClassesAxiom getConclusion( IndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final ModifiableIndexedDisjointClassesAxiom getConclusion( ModifiableIndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedDisjointClassesAxiom getConclusion( IndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedDisjointClassesAxiom getConclusion( ModifiableIndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedDisjointClassesAxiom getConclusion( ModifiableIndexedDisjointClassesAxiom.Factory factory) { return factory.getIndexedDisjointClassesAxiom(getOriginalAxiom(), getMembers()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedDisjointClassesAxiomInference.Visitor<O>) visitor); }