@Override public SubClassInclusionComposedObjectSomeValuesFromMatch4 getSubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch4(parent, firstPremiseMatch); }
SubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedDestinationMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { return inferenceMatch4.getParent() + " | "; }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { inferenceMatch4.getConclusionMatch(conclusionFactory_); .getExtendedDestinationMatch(); SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { inferenceMatch4.getConclusionMatch(conclusionFactory_); .getExtendedDestinationMatch(); SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { inferenceMatch4.getConclusionMatch(conclusionFactory_); .getExtendedDestinationMatch(); SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch3 .getExtendedOriginMatch();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
SubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedDestinationMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { return inferenceMatch4.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectSomeValuesFromMatch4 getSubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch4(parent, firstPremiseMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
SubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedDestinationMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit( SubClassInclusionComposedObjectSomeValuesFromMatch4 inferenceMatch4) { return inferenceMatch4.getParent() + " | "; }
@Override public SubClassInclusionComposedObjectSomeValuesFromMatch4 getSubClassInclusionComposedObjectSomeValuesFromMatch4( SubClassInclusionComposedObjectSomeValuesFromMatch3 parent, BackwardLinkMatch4 firstPremiseMatch) { return new SubClassInclusionComposedObjectSomeValuesFromMatch4(parent, firstPremiseMatch); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }