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); } }); }
IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);
IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);
IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);