private ElkClassExpression getPremiseSubsumer( final ConclusionMatchExpressionFactory factory) { final int pos = getPosition(); return conclusionSubsumerMatch_.accept( new IndexedObjectUnionOfMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectOneOfMatch match) { return factory.getObjectOneOf( match.getValue().getIndividuals().get(pos)); } @Override public ElkClassExpression visit( SubsumerObjectUnionOfMatch match) { return match.getValue().getClassExpressions().get(pos); } }); }
private ElkClassExpression getPremiseSubsumer( final ConclusionMatchExpressionFactory factory) { final int pos = getPosition(); return conclusionSubsumerMatch_.accept( new IndexedObjectUnionOfMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectOneOfMatch match) { return factory.getObjectOneOf( match.getValue().getIndividuals().get(pos)); } @Override public ElkClassExpression visit( SubsumerObjectUnionOfMatch match) { return match.getValue().getClassExpressions().get(pos); } }); }
private ElkClassExpression getPremiseSubsumer( final ConclusionMatchExpressionFactory factory) { final int pos = getPosition(); return conclusionSubsumerMatch_.accept( new IndexedObjectUnionOfMatch.Visitor<ElkClassExpression>() { @Override public ElkClassExpression visit( SubsumerObjectOneOfMatch match) { return factory.getObjectOneOf( match.getValue().getIndividuals().get(pos)); } @Override public ElkClassExpression visit( SubsumerObjectUnionOfMatch match) { return match.getValue().getClassExpressions().get(pos); } }); }
final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch); disjunctionMatch.accept(new IndexedObjectUnionOfMatch.Visitor<Void>() {
final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch); disjunctionMatch.accept(new IndexedObjectUnionOfMatch.Visitor<Void>() {
final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch); disjunctionMatch.accept(new IndexedObjectUnionOfMatch.Visitor<Void>() {