@Override public ElkClassInclusionObjectIntersectionOfInclusion getElkClassInclusionObjectIntersectionOfInclusion( List<? extends ElkClassExpression> subClasses, List<Integer> subPositions) { return new ElkClassInclusionObjectIntersectionOfInclusion(subClasses, subPositions); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfInclusion other) { return equals(other.getSubClasses(), inference.getSubClasses()) && equals(other.getSuperPositions(), inference.getSuperPositions()); } });
@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfInclusion other) { return equals(other.getSubClasses(), inference.getSubClasses()) && equals(other.getSuperPositions(), inference.getSuperPositions()); } });
@Override public Boolean visit( ElkClassInclusionObjectIntersectionOfInclusion other) { return equals(other.getSubClasses(), inference.getSubClasses()) && equals(other.getSuperPositions(), inference.getSuperPositions()); } });
@Override public ElkClassInclusionObjectIntersectionOfInclusion getElkClassInclusionObjectIntersectionOfInclusion( List<? extends ElkClassExpression> subClasses, List<Integer> subPositions) { return new ElkClassInclusionObjectIntersectionOfInclusion(subClasses, subPositions); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionObjectIntersectionOfInclusion visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfInclusion( getClasses("C", inference.getSubClasses().size()), inference.getSuperPositions()); }
@Override public ElkClassInclusionObjectIntersectionOfInclusion getElkClassInclusionObjectIntersectionOfInclusion( List<? extends ElkClassExpression> subClasses, List<Integer> subPositions) { return new ElkClassInclusionObjectIntersectionOfInclusion(subClasses, subPositions); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionObjectIntersectionOfInclusion visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfInclusion( getClasses("C", inference.getSubClasses().size()), inference.getSuperPositions()); }
@Override public ElkClassInclusionObjectIntersectionOfInclusion visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfInclusion( getClasses("C", inference.getSubClasses().size()), inference.getSuperPositions()); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectIntersectionOfInclusion.class), hashCode(inference.getSubClasses()), hashCode(inference.getSuperPositions())); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectIntersectionOfInclusion.class), hashCode(inference.getSubClasses()), hashCode(inference.getSuperPositions())); }
@Override public Integer visit( ElkClassInclusionObjectIntersectionOfInclusion inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectIntersectionOfInclusion.class), hashCode(inference.getSubClasses()), hashCode(inference.getSuperPositions())); }