@Override public SubClassInclusionComposedEntityMatch2 getSubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionComposedEntityMatch2(parent, premiseMatch); }
@Override public Void visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // no ELK inferences return null; }
@Override public String visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // no ELK inferences return null; }
@Override public SubClassInclusionComposedEntityMatch2 getSubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionComposedEntityMatch2(parent, premiseMatch); }
@Override public String visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
@Override public Void visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { inferenceMatch2.getConclusionMatch(conclusionFactory_); // no ELK inferences return null; }
@Override public SubClassInclusionComposedEntityMatch2 getSubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { return new SubClassInclusionComposedEntityMatch2(parent, premiseMatch); }
@Override public String visit(SubClassInclusionComposedEntityMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getConclusionMatch(factory), getExtendedOriginMatch()); }