org.qedeq.kernel.latex
Class Element2Latex.QuantorUnion

java.lang.Object
  org.qedeq.kernel.latex.Element2Latex.QuantorUnion

All Implemented Interfaces:

Element2Latex.ListType

Enclosing class:

Element2Latex

class Element2Latex.QuantorUnion

extends Object

implements Element2Latex.ListType

TODO mime 20080126: needed?

Constructor Summary

(package private)

Element2Latex.QuantorUnion()

Method Summary

String

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Element2Latex.QuantorUnion

Element2Latex.QuantorUnion()

Method Detail

getLatex

public String getLatex(ElementList list,
                       boolean first)

Description copied from interface: Element2Latex.ListType

Transform list into LaTeX.

Specified by:

getLatex in interface Element2Latex.ListType

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.