@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
@Override protected String defaultVisit( final EntailmentInference entailmentInference) { final StringBuilder result = new StringBuilder( entailmentInference.getConclusion().toString()); result.append(" -| "); final List<? extends Entailment> premises = entailmentInference .getPremises(); final Iterator<? extends Entailment> iter = premises.iterator(); if (iter.hasNext()) { result.append(iter.next().toString()); } while (iter.hasNext()) { result.append("; ").append(iter.next().toString()); } if (entailmentInference instanceof HasReason) { if (!premises.isEmpty()) { result.append("; "); } result.append(((HasReason<?>) entailmentInference).getReason() .toString()); } return result.toString(); }
inf.getConclusion(), newPremises));
inf.getConclusion(), newPremises));
inf.getConclusion(), newPremises));