BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }
BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }
@Override public Void visit(BackwardLinkCompositionMatch2 inferenceMatch2) { BackwardLinkMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (BackwardLinkMatch2 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }
@Override public Void visit(BackwardLinkCompositionMatch2 inferenceMatch2) { BackwardLinkMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (BackwardLinkMatch2 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }
@Override public Void visit(BackwardLinkCompositionMatch2 inferenceMatch2) { BackwardLinkMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (BackwardLinkMatch2 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch2); } return null; }