public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), propagationRelation_, getDestination()); }
public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), propagationRelation_, getDestination()); }
public Propagation getSecondPremise(Propagation.Factory factory) { return factory.getPropagation(getOrigin(), propagationRelation_, getSubsumer()); }
public Propagation getSecondPremise(Propagation.Factory factory) { return factory.getPropagation(getOrigin(), propagationRelation_, getSubsumer()); }
public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), propagationRelation_, getDestination()); }
public Propagation getSecondPremise(Propagation.Factory factory) { return factory.getPropagation(getOrigin(), propagationRelation_, getSubsumer()); }
@Override public O visit(SubClassInclusionComposedObjectSomeValuesFrom inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }
@Override public O visit(SubClassInclusionComposedObjectSomeValuesFrom inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }
@Override public O visit(SubClassInclusionComposedObjectSomeValuesFrom inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }