@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfDecomposition other) { return equals(other.getConjuncts(), inference.getConjuncts()) && equals(other.getConjunctPos(), inference.getConjunctPos()); } });
@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfDecomposition other) { return equals(other.getConjuncts(), inference.getConjuncts()) && equals(other.getConjunctPos(), inference.getConjunctPos()); } });
@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfDecomposition other) { return equals(other.getConjuncts(), inference.getConjuncts()) && equals(other.getConjunctPos(), inference.getConjunctPos()); } });
@Override public ElkClassInclusionObjectIntersectionOfDecomposition visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getClasses("C", inference.getConjuncts().size()), inference.getConjunctPos()); }
@Override public ElkClassInclusionObjectIntersectionOfDecomposition visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getClasses("C", inference.getConjuncts().size()), inference.getConjunctPos()); }
@Override public ElkClassInclusionObjectIntersectionOfDecomposition visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getClasses("C", inference.getConjuncts().size()), inference.getConjunctPos()); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionObjectIntersectionOfDecomposition.class), hashCode(inference.getConjuncts()), hashCode(inference.getConjunctPos())); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionObjectIntersectionOfDecomposition.class), hashCode(inference.getConjuncts()), hashCode(inference.getConjunctPos())); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionObjectIntersectionOfDecomposition.class), hashCode(inference.getConjuncts()), hashCode(inference.getConjunctPos())); }