public class ModalFormulaLatexFormatter
extends java.lang.Object
Constructor and Description |
---|
ModalFormulaLatexFormatter() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
_toLatex(ModalFormula wff,
boolean parenthesize) |
java.lang.String |
toLatex(java.util.Collection<ModalFormula> 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(ModalFormula wff)
Returns the LaTex source of the specified formula, the result of this
method must placed in math mode.
|
java.lang.String |
toLatex(ModalFormula[] 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(ModalFormula[] formulas, java.lang.String separator)
formulas
is null
or empty.separator
- formulas the formulas to translate.formulas
- the formulas to translate.public java.lang.String toLatex(java.util.Collection<ModalFormula> formulas, java.lang.String separator)
formulas
is null
or empty.separator
- the string to use as separatorformulas
- the formulas to translate.public java.lang.String toLatex(ModalFormula wff)
wff
- the formula to translate.public java.lang.String _toLatex(ModalFormula wff, boolean parenthesize)