@Override public SubClassInclusionComposedObjectSomeValuesFromMatch3 getSubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch3(parent, secondPremiseMatch); }
SubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { super(parent); this.extendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
PropagationMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public BackwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { super(parent); this.extendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectSomeValuesFromMatch3 getSubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch3(parent, secondPremiseMatch); }
public BackwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { super(parent); this.extendedOriginMatch_ = secondPremiseMatch .getExtendedDestinationMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { BackwardLinkMatch3 premiseMatch1 = inferenceMatch3 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (BackwardLinkMatch4 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch4InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public SubClassInclusionComposedObjectSomeValuesFromMatch3 getSubClassInclusionComposedObjectSomeValuesFromMatch3( SubClassInclusionComposedObjectSomeValuesFromMatch2 parent, PropagationMatch2 secondPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch3(parent, secondPremiseMatch); }
PropagationMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { BackwardLinkMatch3 premiseMatch1 = inferenceMatch3 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (BackwardLinkMatch4 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch4InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }