@Override public PropagationGeneratedMatch3 getPropagationGeneratedMatch3( PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { return new PropagationGeneratedMatch3(parent, thirdPremiseMatch); }
PropagationGeneratedMatch3(PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { super(parent); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(PropagationGeneratedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public Void visit(PropagationGeneratedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch();
@Override public Void visit(PropagationGeneratedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch();
PropagationGeneratedMatch3(PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { super(parent); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit(PropagationGeneratedMatch3 inferenceMatch3) { inferenceMatch3.getConclusionMatch(conclusionFactory_); .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch();
@Override public String visit(PropagationGeneratedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public PropagationGeneratedMatch3 getPropagationGeneratedMatch3( PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { return new PropagationGeneratedMatch3(parent, thirdPremiseMatch); }
PropagationGeneratedMatch3(PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { super(parent); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(PropagationGeneratedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
@Override public PropagationGeneratedMatch3 getPropagationGeneratedMatch3( PropagationGeneratedMatch2 parent, SubPropertyChainMatch2 thirdPremiseMatch) { return new PropagationGeneratedMatch3(parent, thirdPremiseMatch); }