@Override public ElkClassInclusionObjectUnionOfComposition getElkClassInclusionObjectUnionOfComposition( List<? extends ElkClassExpression> disjuncts, int disjunctPos) { return new ElkClassInclusionObjectUnionOfComposition(disjuncts, disjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Boolean visit( ElkClassInclusionObjectUnionOfComposition other) { return equals(other.getDisjuncts(), inference.getDisjuncts()) && equals(other.getDisjunctPos(), inference.getDisjunctPos()); } });
@Override public Boolean visit( ElkClassInclusionObjectUnionOfComposition other) { return equals(other.getDisjuncts(), inference.getDisjuncts()) && equals(other.getDisjunctPos(), inference.getDisjunctPos()); } });
@Override public Boolean visit( ElkClassInclusionObjectUnionOfComposition other) { return equals(other.getDisjuncts(), inference.getDisjuncts()) && equals(other.getDisjunctPos(), inference.getDisjunctPos()); } });
@Override public ElkClassInclusionObjectUnionOfComposition getElkClassInclusionObjectUnionOfComposition( List<? extends ElkClassExpression> disjuncts, int disjunctPos) { return new ElkClassInclusionObjectUnionOfComposition(disjuncts, disjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionObjectUnionOfComposition visit( ElkClassInclusionObjectUnionOfComposition inference) { return inferenceFactory_.getElkClassInclusionObjectUnionOfComposition( getClasses("C", inference.getDisjuncts().size()), inference.getDisjunctPos()); }
@Override public ElkClassInclusionObjectUnionOfComposition getElkClassInclusionObjectUnionOfComposition( List<? extends ElkClassExpression> disjuncts, int disjunctPos) { return new ElkClassInclusionObjectUnionOfComposition(disjuncts, disjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionObjectUnionOfComposition visit( ElkClassInclusionObjectUnionOfComposition inference) { return inferenceFactory_.getElkClassInclusionObjectUnionOfComposition( getClasses("C", inference.getDisjuncts().size()), inference.getDisjunctPos()); }
@Override public ElkClassInclusionObjectUnionOfComposition visit( ElkClassInclusionObjectUnionOfComposition inference) { return inferenceFactory_.getElkClassInclusionObjectUnionOfComposition( getClasses("C", inference.getDisjuncts().size()), inference.getDisjunctPos()); }
@Override public Integer visit(ElkClassInclusionObjectUnionOfComposition inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectUnionOfComposition.class), hashCode(inference.getDisjuncts()), hashCode(inference.getDisjunctPos())); }
@Override public Integer visit(ElkClassInclusionObjectUnionOfComposition inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectUnionOfComposition.class), hashCode(inference.getDisjuncts()), hashCode(inference.getDisjunctPos())); }
@Override public Integer visit(ElkClassInclusionObjectUnionOfComposition inference) { return combinedHashCode( hashCode(ElkClassInclusionObjectUnionOfComposition.class), hashCode(inference.getDisjuncts()), hashCode(inference.getDisjunctPos())); }