org.qedeq.kernel.latex
Class Element2Latex.BinaryLogical

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

All Implemented Interfaces:

Element2Latex.ListType

Enclosing class:

Element2Latex

class Element2Latex.BinaryLogical

extends Object

implements Element2Latex.ListType

Transformer for a binary logical operator written in infix notation.

Constructor Summary

(package private)

Element2Latex.BinaryLogical(String latex) Constructor.

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.BinaryLogical

Element2Latex.BinaryLogical(String latex)

Constructor.

Parameters:

latex - LaTeX for operator.

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.