@Override public IndexedContextRoot getPremiseSource() { return getDestination(); }
@Override public IndexedContextRoot getPremiseSource() { return getDestination(); }
@Override public IndexedContextRoot getPremiseSource() { return getDestination(); }
@Override public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), backwardRelation_, getDestination()); }
@Override public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), backwardRelation_, getDestination()); }
@Override public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), backwardRelation_, getDestination()); }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }