@Override public ElkAxiom visit(final ElkObjectProperty prop) { return factory.getEquivalentObjectPropertiesAxiom( new ArrayList<ElkObjectProperty>( Operations.getCollection( Operations.filter(equivalent, ElkObjectProperty.class), equivalent.size()))); }
@Override public ElkAxiom visit(final ElkObjectProperty prop) { return factory.getEquivalentObjectPropertiesAxiom( new ArrayList<ElkObjectProperty>( Operations.getCollection( Operations.filter(equivalent, ElkObjectProperty.class), equivalent.size()))); }
@Override public ElkAxiom visit(final ElkObjectProperty prop) { return factory.getEquivalentObjectPropertiesAxiom( new ArrayList<ElkObjectProperty>( Operations.getCollection( Operations.filter(equivalent, ElkObjectProperty.class), equivalent.size()))); }
public ElkEquivalentObjectPropertiesAxiom getPremise( ElkObject.Factory factory) { return factory.getEquivalentObjectPropertiesAxiom(expressions_); }
public ElkEquivalentObjectPropertiesAxiom getPremise( ElkObject.Factory factory) { return factory.getEquivalentObjectPropertiesAxiom(expressions_); }
public ElkEquivalentObjectPropertiesAxiom getPremise( ElkObject.Factory factory) { return factory.getEquivalentObjectPropertiesAxiom(expressions_); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( List<? extends ElkObjectPropertyExpression> equivalentObjectPropertyExpressions) { return filter(factory_.getEquivalentObjectPropertiesAxiom( equivalentObjectPropertyExpressions)); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, ElkObjectPropertyExpression... other) { return filter(factory_.getEquivalentObjectPropertiesAxiom( first, second, other)); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( List<? extends ElkObjectPropertyExpression> equivalentObjectPropertyExpressions) { return filter(factory_.getEquivalentObjectPropertiesAxiom( equivalentObjectPropertyExpressions)); }
final public ElkEquivalentObjectPropertiesAxiom equivalentObjectProperties() throws ParseException {List<ElkObjectPropertyExpression> v; jj_consume_token(EQUIVALENT_OBJECT_PROPERTIES); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); v = twoOrMoreObjectPropertyExpressions(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getEquivalentObjectPropertiesAxiom(v);} throw new Error("Missing return statement in function"); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, ElkObjectPropertyExpression... other) { return filter(factory_.getEquivalentObjectPropertiesAxiom( first, second, other)); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( List<? extends ElkObjectPropertyExpression> equivalentObjectPropertyExpressions) { return filter(factory_.getEquivalentObjectPropertiesAxiom( equivalentObjectPropertyExpressions)); }
@Override public ElkEquivalentObjectPropertiesAxiom getEquivalentObjectPropertiesAxiom( ElkObjectPropertyExpression first, ElkObjectPropertyExpression second, ElkObjectPropertyExpression... other) { return filter(factory_.getEquivalentObjectPropertiesAxiom( first, second, other)); }