@Override public ElkClassInclusionObjectIntersectionOfDecomposition getElkClassInclusionObjectIntersectionOfDecomposition( List<? extends ElkClassExpression> conjuncts, int conjunctPos) { return new ElkClassInclusionObjectIntersectionOfDecomposition(conjuncts, conjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@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 getElkClassInclusionObjectIntersectionOfDecomposition( List<? extends ElkClassExpression> conjuncts, int conjunctPos) { return new ElkClassInclusionObjectIntersectionOfDecomposition(conjuncts, conjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionObjectIntersectionOfDecomposition visit( ElkClassInclusionObjectIntersectionOfDecomposition inference) { return inferenceFactory_ .getElkClassInclusionObjectIntersectionOfDecomposition( getClasses("C", inference.getConjuncts().size()), inference.getConjunctPos()); }
@Override public ElkClassInclusionObjectIntersectionOfDecomposition getElkClassInclusionObjectIntersectionOfDecomposition( List<? extends ElkClassExpression> conjuncts, int conjunctPos) { return new ElkClassInclusionObjectIntersectionOfDecomposition(conjuncts, conjunctPos); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@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())); }