@Override public SubClassInclusionComposedObjectUnionOfMatch1 getSubClassInclusionComposedObjectUnionOfMatch1( SubClassInclusionComposedObjectUnionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedObjectUnionOfMatch1(parent, conclusionMatch); }
SubClassInclusionComposedObjectUnionOfMatch1( SubClassInclusionComposedObjectUnionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); conclusionSubsumerMatch_ = conclusionMatch .getSubsumerIndexedObjectUnionOfMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getPremise(factory), originMatch_, getPremiseSubsumer(factory)); }
.getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }
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); } }); }
.getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }
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); } }); }
SubClassInclusionComposedObjectUnionOfMatch1( SubClassInclusionComposedObjectUnionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); this.originMatch_ = conclusionMatch.getDestinationMatch(); conclusionSubsumerMatch_ = conclusionMatch .getSubsumerIndexedObjectUnionOfMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
public SubClassInclusionComposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getPremise(factory), originMatch_, getPremiseSubsumer(factory)); }
.getParent(); IndexedObjectUnionOfMatch disjunctionMatch = inferenceMatch1 .getConclusionSubsumerMatch(); final int pos = inferenceMatch1.getPosition(); final ElkClassExpression subExpression = toElkExpression( extendedOriginMatch);
@Override public String visit( SubClassInclusionComposedObjectUnionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionComposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public SubClassInclusionComposedObjectUnionOfMatch1 getSubClassInclusionComposedObjectUnionOfMatch1( SubClassInclusionComposedObjectUnionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedObjectUnionOfMatch1(parent, conclusionMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), extendedOriginMatch_); }