@Override public Boolean visit( ElkDisjointClassesOfDifferentIndividuals other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public Boolean visit( ElkDisjointClassesOfDifferentIndividuals other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public Boolean visit( ElkDisjointClassesOfDifferentIndividuals other) { return equals(other.getDifferent(), inference.getDifferent()); } });
@Override public ElkDisjointClassesOfDifferentIndividuals visit( ElkDisjointClassesOfDifferentIndividuals inference) { return inferenceFactory_.getElkDisjointClassesOfDifferentIndividuals( getIndividuals("a", inference.getDifferent().size())); }
@Override public ElkDisjointClassesOfDifferentIndividuals visit( ElkDisjointClassesOfDifferentIndividuals inference) { return inferenceFactory_.getElkDisjointClassesOfDifferentIndividuals( getIndividuals("a", inference.getDifferent().size())); }
@Override public ElkDisjointClassesOfDifferentIndividuals visit( ElkDisjointClassesOfDifferentIndividuals inference) { return inferenceFactory_.getElkDisjointClassesOfDifferentIndividuals( getIndividuals("a", inference.getDifferent().size())); }
@Override public Integer visit(ElkDisjointClassesOfDifferentIndividuals inference) { return combinedHashCode( hashCode(ElkDisjointClassesOfDifferentIndividuals.class), hashCode(inference.getDifferent())); }
@Override public Integer visit(ElkDisjointClassesOfDifferentIndividuals inference) { return combinedHashCode( hashCode(ElkDisjointClassesOfDifferentIndividuals.class), hashCode(inference.getDifferent())); }
@Override public Integer visit(ElkDisjointClassesOfDifferentIndividuals inference) { return combinedHashCode( hashCode(ElkDisjointClassesOfDifferentIndividuals.class), hashCode(inference.getDifferent())); }