@Override public ElkEquivalentClassesOfSameIndividual getElkEquivalentClassesOfSameIndividual( List<? extends ElkIndividual> same) { return new ElkEquivalentClassesOfSameIndividual(same); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkEquivalentClassesOfSameIndividual getElkEquivalentClassesOfSameIndividual( List<? extends ElkIndividual> same) { return new ElkEquivalentClassesOfSameIndividual(same); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { if (index == 0) { return getPremise(factory); } // else return failGetPremise(index); }
@Override public ElkEquivalentClassesOfSameIndividual getElkEquivalentClassesOfSameIndividual( List<? extends ElkIndividual> same) { return new ElkEquivalentClassesOfSameIndividual(same); }
@Override public ElkEquivalentClassesOfSameIndividual visit( ElkEquivalentClassesOfSameIndividual inference) { return inferenceFactory_.getElkEquivalentClassesOfSameIndividual( getIndividuals("a", inference.getSame().size())); }
@Override public ElkEquivalentClassesOfSameIndividual visit( ElkEquivalentClassesOfSameIndividual inference) { return inferenceFactory_.getElkEquivalentClassesOfSameIndividual( getIndividuals("a", inference.getSame().size())); }
@Override public ElkEquivalentClassesOfSameIndividual visit( ElkEquivalentClassesOfSameIndividual inference) { return inferenceFactory_.getElkEquivalentClassesOfSameIndividual( getIndividuals("a", inference.getSame().size())); }
@Override public Integer visit(ElkEquivalentClassesOfSameIndividual inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfSameIndividual.class), hashCode(inference.getSame())); }
@Override public Integer visit(ElkEquivalentClassesOfSameIndividual inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfSameIndividual.class), hashCode(inference.getSame())); }
@Override public Integer visit(ElkEquivalentClassesOfSameIndividual inference) { return combinedHashCode( hashCode(ElkEquivalentClassesOfSameIndividual.class), hashCode(inference.getSame())); }