@Override public Void visit(ForwardLinkCompositionMatch1 inferenceMatch1) { BackwardLinkMatch1 conclusionMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(conclusionMatch1, inferenceMatch1); for (BackwardLinkMatch2 child : hierarchy_ .getChildren(conclusionMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch1); } return null; }
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(ForwardLinkCompositionMatch1 inferenceMatch1) { BackwardLinkMatch1 conclusionMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(conclusionMatch1, inferenceMatch1); for (BackwardLinkMatch2 child : hierarchy_ .getChildren(conclusionMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch1); } return null; }
@Override public Void visit(ForwardLinkCompositionMatch1 inferenceMatch1) { BackwardLinkMatch1 conclusionMatch1 = inferenceMatch1 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(conclusionMatch1, inferenceMatch1); for (BackwardLinkMatch2 child : hierarchy_ .getChildren(conclusionMatch1)) { (new BackwardLinkMatch2InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch1); } return null; }
BackwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getPremiseBackwardRelationMatch(), getOriginMatch()); }