@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(SubClassInclusionComposedEntityMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), (SubsumerMatch) conclusionSubsumerMatch_); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), getOriginMatch()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), (SubsumerMatch) conclusionSubsumerMatch_); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), getOriginMatch()); }
public SubClassInclusionDecomposedMatch1 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getPremise(factory), getOriginMatch()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), (SubsumerMatch) conclusionSubsumerMatch_); }
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)); }
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)); }
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)); }