jtabwbx.prop.formula

Class FormulaLatexFormatter

java.lang.Object

jtabwbx.prop.formula.FormulaLatexFormatter

public class FormulaLatexFormatter
extends java.lang.Object

Provides a static method to generate the LaTeX of a formula.

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
FormulaLatexFormatter()

Method Summary

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FormulaLatexFormatter

public FormulaLatexFormatter()

Method Detail

toLatex

public 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. The result of this method must placed in math mode. The method returns the empty string if formulas is null or empty.

Parameters:

formulas - the formulas to translate.

separator - the string to use as separator.

Returns:

the LaTeX source of the formulas.

toLatex

public 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. The result of this method must placed in math mode. The method returns the empty string if formulas is null or empty.

Parameters:

formulas - the formulas to translate.

separator - the string to use as separator.

Returns:

the LaTeX source of the formulas.

toLatex

public java.lang.String toLatex(Formula wff)

Returns the LaTex source of the specified formula, the result of this method must placed in math mode.

Parameters:

wff - the formula to translate.

Returns:

the LaTeX source of the formula.

_toLatex

public java.lang.String _toLatex(Formula wff,
                                 boolean parenthesize)