ForwardLinkOfObjectSomeValuesFromMatch2( ForwardLinkOfObjectSomeValuesFromMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent, premiseMatch); if (!getParent().getForwardRelationMatch() .equals(getPremiseSuperExpressionMatch().getPropertyMatch())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), getPremiseSuperExpressionMatch()); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch2( ForwardLinkOfObjectSomeValuesFromMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent, premiseMatch); if (!getParent().getForwardRelationMatch() .equals(getPremiseSuperExpressionMatch().getPropertyMatch())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), getPremiseSuperExpressionMatch()); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch2( ForwardLinkOfObjectSomeValuesFromMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent, premiseMatch); if (!getParent().getForwardRelationMatch() .equals(getPremiseSuperExpressionMatch().getPropertyMatch())) { throw new ElkMatchException( parent.getParent().getDecomposedExistential(), getPremiseSuperExpressionMatch()); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch1( ForwardLinkOfObjectSomeValuesFrom parent, ForwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch1( ForwardLinkOfObjectSomeValuesFrom parent, ForwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
ForwardLinkOfObjectSomeValuesFromMatch1( ForwardLinkOfObjectSomeValuesFrom parent, ForwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); ElkSubObjectPropertyExpression fullChainMatch = conclusionMatch .getFullChainMatch(); int startPos = conclusionMatch.getChainStartPos(); if (fullChainMatch instanceof ElkObjectProperty && conclusionMatch.getChainStartPos() == 0) { this.forwardRelationMatch_ = (ElkObjectProperty) fullChainMatch; } else { throw new ElkMatchException( getParent().getDecomposedExistential().getProperty(), fullChainMatch, startPos); } checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }