@Override public ElkClassInclusionSingletonObjectUnionOfDecomposition getElkClassInclusionSingletonObjectUnionOfDecomposition( ElkClassExpression disjunct) { return new ElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Boolean visit( ElkClassInclusionSingletonObjectUnionOfDecomposition other) { return equals(other.getDisjunct(), inference.getDisjunct()); } });
@Override public Boolean visit( ElkClassInclusionSingletonObjectUnionOfDecomposition other) { return equals(other.getDisjunct(), inference.getDisjunct()); } });
@Override public Boolean visit( ElkClassInclusionSingletonObjectUnionOfDecomposition other) { return equals(other.getDisjunct(), inference.getDisjunct()); } });
@Override public ElkClassInclusionSingletonObjectUnionOfDecomposition getElkClassInclusionSingletonObjectUnionOfDecomposition( ElkClassExpression disjunct) { return new ElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit( ElkClassInclusionSingletonObjectUnionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class), hashCode(inference.getDisjunct())); }
@Override public ElkClassInclusionSingletonObjectUnionOfDecomposition getElkClassInclusionSingletonObjectUnionOfDecomposition( ElkClassExpression disjunct) { return new ElkClassInclusionSingletonObjectUnionOfDecomposition( disjunct); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit( ElkClassInclusionSingletonObjectUnionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class), hashCode(inference.getDisjunct())); }
@Override public Integer visit( ElkClassInclusionSingletonObjectUnionOfDecomposition inference) { return combinedHashCode( hashCode( ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class), hashCode(inference.getDisjunct())); }