@Override public BackwardLinkOfObjectSomeValuesFromMatch1 getBackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch1(parent, conclusionMatch); }
BackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getConclusionMatch(factory), getPremisePropertyMatch(getParent().getParent() .getDecomposedExistential().getProperty()), getRootMatch(getParent().getParent().getConclusion(factory) .getDestination(), factory)); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getPremiseSuperExpressionMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getConclusionMatch(factory), getPremisePropertyMatch(getParent().getParent() .getDecomposedExistential().getProperty()), getRootMatch(getParent().getParent().getConclusion(factory) .getDestination(), factory)); }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getConclusionMatch(factory), getPremisePropertyMatch(getParent().getParent() .getDecomposedExistential().getProperty()), getRootMatch(getParent().getParent().getConclusion(factory) .getDestination(), factory)); }
BackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getPremiseSuperExpressionMatch()); }
@Override public BackwardLinkOfObjectSomeValuesFromMatch1 getBackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch1(parent, conclusionMatch); }
BackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getPremiseSuperExpressionMatch()); }
@Override public BackwardLinkOfObjectSomeValuesFromMatch1 getBackwardLinkOfObjectSomeValuesFromMatch1( BackwardLinkOfObjectSomeValuesFrom parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkOfObjectSomeValuesFromMatch1(parent, conclusionMatch); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), originMatch_); }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), originMatch_); }
@Override public Void visit( BackwardLinkOfObjectSomeValuesFromMatch1 inferenceMatch1) { SubClassInclusionDecomposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionDecomposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionDecomposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }