public class FormulaLatexFormatter
extends java.lang.Object
Constructor and Description |
---|
FormulaLatexFormatter() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
_toLatex(Formula wff,
boolean parenthesize) |
java.lang.String |
toLatex(java.util.Collection<Formula> formulas,
java.lang.String separator)
Returns the LaTex source of the formulas in the given collection; formulas
are separated by the specified separator.
|
java.lang.String |
toLatex(Formula wff)
Returns the LaTex source of the specified formula, the result of this
method must placed in math mode.
|
java.lang.String |
toLatex(Formula[] formulas,
java.lang.String separator)
Returns the LaTex source of the formulas in the given array; formulas are
separated by the specified separator.
|
public java.lang.String toLatex(Formula[] formulas, java.lang.String separator)
formulas
is null
or empty.formulas
- the formulas to translate.separator
- the string to use as separator.public java.lang.String toLatex(java.util.Collection<Formula> formulas, java.lang.String separator)
formulas
is null
or empty.formulas
- the formulas to translate.separator
- the string to use as separator.public java.lang.String toLatex(Formula wff)
wff
- the formula to translate.public java.lang.String _toLatex(Formula wff, boolean parenthesize)