public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }
@Override public ElkAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); if (index < getExistentialPremiseCount()) { return getExistentialPremise(index, factory); } // else return getLastPremise(factory); }