public ElkObjectPropertyRangeAxiom getRangePremise(int index, ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, ranges_.get(index)); }
public ElkObjectPropertyRangeAxiom getRangePremise(int index, ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, ranges_.get(index)); }
public ElkObjectPropertyRangeAxiom getRangePremise(int index, ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, ranges_.get(index)); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, range_); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(superProperty_, range_); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(superProperty_, range_); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(superProperty_, range_); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, range_); }
public ElkObjectPropertyRangeAxiom getSecondPremise( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(property_, range_); }
@Override public ElkObjectPropertyRangeAxiom getConclusion( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(subProperty_, range_); }
@Override public ElkObjectPropertyRangeAxiom getObjectPropertyRangeAxiom( ElkObjectPropertyExpression property, ElkClassExpression range) { return filter(factory_.getObjectPropertyRangeAxiom( property, range)); }
final public ElkObjectPropertyRangeAxiom objectPropertyRange() throws ParseException {ElkObjectPropertyExpression x; ElkClassExpression y; jj_consume_token(OBJECT_PROPERTY_RANGE); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); x = objectPropertyExpression(); y = classExpression(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getObjectPropertyRangeAxiom(x, y);} throw new Error("Missing return statement in function"); }
@Override public ElkObjectPropertyRangeAxiom getObjectPropertyRangeAxiom( ElkObjectPropertyExpression property, ElkClassExpression range) { return filter(factory_.getObjectPropertyRangeAxiom( property, range)); }
@Override public ElkObjectPropertyRangeAxiom getObjectPropertyRangeAxiom( ElkObjectPropertyExpression property, ElkClassExpression range) { return filter(factory_.getObjectPropertyRangeAxiom( property, range)); }
@Override public ElkObjectPropertyRangeAxiom getConclusion( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(subProperty_, range_); }
@Override public ElkObjectPropertyRangeAxiom getConclusion( ElkObject.Factory factory) { return factory.getObjectPropertyRangeAxiom(subProperty_, range_); }