Java LatexStringBuilderFactory.newInstanceの例

コード例 #1

ファイル: DefaultRecSubTypingProofNode.java プロジェクト: cbsa-informatik-uni-siegen/tpml

 /**
  * {@inheritDoc}
  *
  * @see LatexPrintable#toLatexString()
  */
 public final LatexString toLatexString() {
   return toLatexStringBuilder(LatexStringBuilderFactory.newInstance(), 0).toLatexString();
 }