org.qedeq.kernel.latex
Interface Element2Latex.ListType

All Known Implementing Classes:

Element2Latex.BinaryLogical, Element2Latex.Class, Element2Latex.Classlist, Element2Latex.Funcon, Element2Latex.Funvar, Element2Latex.Not, Element2Latex.Predcon, Element2Latex.Predvar, Element2Latex.Quantifier, Element2Latex.QuantorIntersection, Element2Latex.QuantorUnion, Element2Latex.Unknown, Element2Latex.Var

Enclosing interface:

Element2Latex

static interface Element2Latex.ListType

Describes the interface for an ElementList to LaTeX converter.

Method Summary

String

getLatex(ElementList list, boolean first) Transform list into LaTeX.

Method Detail

getLatex

public String getLatex(ElementList list,
                       boolean first)

Transform list into LaTeX.

Parameters:

list - This list shall be transformed.

first - Is the resulting LaTeX formula or term at top level? If so we possibly can omit some brackets.

Returns:

LaTeX formula or term.