Hilbert II - Version 0.03.09

org.qedeq.kernel.latex
Class Element2Latex.Classlist

java.lang.Object
  extended byorg.qedeq.kernel.latex.Element2Latex.Classlist
All Implemented Interfaces:
Element2Latex.ListType
Enclosing class:
Element2Latex

class Element2Latex.Classlist
extends Object
implements Element2Latex.ListType

Transformer for class list operator.


Constructor Summary
(package private) Element2Latex.Classlist()
           
 
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.Classlist

Element2Latex.Classlist()
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.

Hilbert II - Version 0.03.09

©left GNU General Public Licence
All Rights Reserved.