@Override public void println() { super.println(); _column = 0; }
@Override public void println() { super.println(); _column = 0; }
protected void writeNewLine() { _writer.println(); }
@Override public void println() { super.println(); _column = 0; }
protected void writeNewLine() { _writer.println(); }
protected void writeNewLine() { _writer.println(); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }
/** * {@inheritDoc} */ @Override public void render(final OWLAxiom axiom, final Set<Set<OWLAxiom>> explanations) throws OWLException, IOException { setCurrentAxiom(axiom); if (_index == 1) { if (axiom != null) { _writer.print("Axiom: "); axiom.accept(_renderer); _writer.println(); _writer.println(); } if (explanations.isEmpty()) { _writer.println("Explanation: AXIOM IS NOT ENTAILED!"); return; } _writer.println("Explanation(s): "); } final String header = _index++ + ")"; _writer.print(header); renderSingleExplanation(explanations.iterator().next()); _writer.println(); }