Hilbert II - Version 0.03.08

org.qedeq.kernel.latex
Class Element2Latex.Funcon

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

class Element2Latex.Funcon
extends Object
implements Element2Latex.ListType

Transformer for a function constant.


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

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

©left GNU General Public Licence
All Rights Reserved.