public ClassInconsistency getSecondPremise( ClassInconsistency.Factory factory) { return factory.getContradiction(getOrigin()); }
public ClassInconsistency getSecondPremise( ClassInconsistency.Factory factory) { return factory.getContradiction(getOrigin()); }
public ClassInconsistency getSecondPremise( ClassInconsistency.Factory factory) { return factory.getContradiction(getOrigin()); }
public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), premiseRelation_, getDestination()); }
public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), premiseRelation_, getDestination()); }
public BackwardLink getFirstPremise(BackwardLink.Factory factory) { return factory.getBackwardLink(getOrigin(), premiseRelation_, getDestination()); }
@Override public O visit(ClassInconsistencyPropagated inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }
@Override public O visit(ClassInconsistencyPropagated inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }
@Override public O visit(ClassInconsistencyPropagated inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); } return null; }