@Override public ClassConclusion visit(ForwardLinkComposition inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit(ForwardLinkComposition inference) { return inference.getConclusion(conclusionFactory_); }
@Override public ClassConclusion visit(ForwardLinkComposition inference) { return inference.getConclusion(conclusionFactory_); }
@Override public O visit(ForwardLinkComposition inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ForwardLinkComposition inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ForwardLinkComposition inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
ForwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1(getParent().getConclusion(factory), getDestinationMatch(), getFullCompositionMatch(), getCompositionStartPos()); }
ForwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1(getParent().getConclusion(factory), getDestinationMatch(), getFullCompositionMatch(), getCompositionStartPos()); }
ForwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1(getParent().getConclusion(factory), getDestinationMatch(), getFullCompositionMatch(), getCompositionStartPos()); }