@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public Boolean visit(ElkClassInclusionHierarchy other) { return equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else return factory.getSubClassOfAxiom(expressions_.get(index), expressions_.get(index + 1)); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else return factory.getSubClassOfAxiom(expressions_.get(index), expressions_.get(index + 1)); }
@Override public Boolean visit(ElkClassInclusionHierarchy other) { return equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); // else return factory.getSubClassOfAxiom(expressions_.get(index), expressions_.get(index + 1)); }
@Override public Boolean visit(ElkClassInclusionHierarchy other) { return equals(other.getExpressions(), inference.getExpressions()); } });
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public ElkClassInclusionHierarchy visit( ElkClassInclusionHierarchy inference) { return inferenceFactory_.getElkClassInclusionHierarchy( getClasses("C", inference.getExpressions().size())); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public ElkClassInclusionHierarchy visit( ElkClassInclusionHierarchy inference) { return inferenceFactory_.getElkClassInclusionHierarchy( getClasses("C", inference.getExpressions().size())); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( ElkClassExpression... expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public ElkClassInclusionHierarchy visit( ElkClassInclusionHierarchy inference) { return inferenceFactory_.getElkClassInclusionHierarchy( getClasses("C", inference.getExpressions().size())); }
@Override public ElkClassInclusionHierarchy getElkClassInclusionHierarchy( List<? extends ElkClassExpression> expressions) { return new ElkClassInclusionHierarchy(expressions); }
@Override public Integer visit(ElkClassInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkClassInclusionHierarchy.class), hashCode(inference.getExpressions())); }
@Override public Integer visit(ElkClassInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkClassInclusionHierarchy.class), hashCode(inference.getExpressions())); }
@Override public Integer visit(ElkClassInclusionHierarchy inference) { return combinedHashCode(hashCode(ElkClassInclusionHierarchy.class), hashCode(inference.getExpressions())); }