@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, ElkClassExpression... ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); return getRangePremise(index, factory); }
@Override public Boolean visit(ElkClassInclusionExistentialRange other) { return equals(other.getFiller(), inference.getFiller()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getRanges(), inference.getRanges()); } });
@Override public ElkClassInclusionExistentialRange visit( ElkClassInclusionExistentialRange inference) { return inferenceFactory_.getElkClassInclusionExistentialRange( getObjectProperty("R"), getClass("D"), getClasses("E", inference.getRanges().size())); }
@Override public Boolean visit(ElkClassInclusionExistentialRange other) { return equals(other.getFiller(), inference.getFiller()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getRanges(), inference.getRanges()); } });
@Override public ElkClassInclusionExistentialRange visit( ElkClassInclusionExistentialRange inference) { return inferenceFactory_.getElkClassInclusionExistentialRange( getObjectProperty("R"), getClass("D"), getClasses("E", inference.getRanges().size())); }
@Override public Boolean visit(ElkClassInclusionExistentialRange other) { return equals(other.getFiller(), inference.getFiller()) && equals(other.getProperty(), inference.getProperty()) && equals(other.getRanges(), inference.getRanges()); } });
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); return getRangePremise(index, factory); }
@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, List<? extends ElkClassExpression> ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }
@Override public ElkClassInclusionExistentialRange visit( ElkClassInclusionExistentialRange inference) { return inferenceFactory_.getElkClassInclusionExistentialRange( getObjectProperty("R"), getClass("D"), getClasses("E", inference.getRanges().size())); }
@Override public Integer visit(ElkClassInclusionExistentialRange inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialRange.class), hashCode(inference.getProperty()), hashCode(inference.getFiller()), hashCode(inference.getRanges())); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); return getRangePremise(index, factory); }
@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, ElkClassExpression... ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }
@Override public Integer visit(ElkClassInclusionExistentialRange inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialRange.class), hashCode(inference.getProperty()), hashCode(inference.getFiller()), hashCode(inference.getRanges())); }
@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, List<? extends ElkClassExpression> ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }
@Override public Integer visit(ElkClassInclusionExistentialRange inference) { return combinedHashCode( hashCode(ElkClassInclusionExistentialRange.class), hashCode(inference.getProperty()), hashCode(inference.getFiller()), hashCode(inference.getRanges())); }
@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, ElkClassExpression... ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }
@Override public ElkClassInclusionExistentialRange getElkClassInclusionExistentialRange( ElkObjectPropertyExpression property, ElkClassExpression filler, List<? extends ElkClassExpression> ranges) { return new ElkClassInclusionExistentialRange(property, filler, ranges); }