org.qedeq.kernel.latex
Class Element2Latex

java.lang.Object
  org.qedeq.kernel.bo.visitor.AbstractModuleVisitor
      org.qedeq.kernel.latex.Element2Latex

All Implemented Interfaces:

ListVisitor, QedeqVisitor

public final class Element2Latex

extends AbstractModuleVisitor

Transfer a QEDEQ formulas into LaTeX text.

Version:

$Revision: 1.2 $

Nested Class Summary

(package private) class	Element2Latex.BinaryLogical Transformer for a binary logical operator written in infix notation.
(package private) class	Element2Latex.Class Transformer for a class operator.
(package private) class	Element2Latex.Classlist Transformer for class list operator.
(package private) class	Element2Latex.Funcon Transformer for a function constant.
(package private) class	Element2Latex.Funvar Transformer for a function variable.
(package private) static interface	Element2Latex.ListType Describes the interface for an ElementList to LaTeX converter.
(package private) class	Element2Latex.Not Transformer for negation.
(package private) class	Element2Latex.Predcon Transformer for a predicate constant.
(package private) class	Element2Latex.Predvar Transformer for a predicate variable.
(package private) class	Element2Latex.Quantifier Transformer for a quantifier operator.
(package private) class	Element2Latex.QuantorIntersection Transformer for a quantifier intersection.
(package private) class	Element2Latex.QuantorUnion LATER mime 20080126: needed?
(package private) class	Element2Latex.Unknown LATER mime 20080126: needed?
(package private) class	Element2Latex.Var Transformer for a subject variable.

Constructor Summary

Element2Latex(ModuleReferenceList references)
Constructor.

Method Summary

void	addFunction(FunctionDefinition definition) Add function definition.
void	addPredicate(PredicateDefinition definition) Add predicate definition.
(package private) Map	getFunctionDefinitions() Get mapping of function definitions.
String	getLatex(Element element) Get LaTeX element presentation.
(package private) String	getLatex(Element element, boolean first) Get LaTeX element presentation.
(package private) Map	getPredicateDefinitions() Get mapping of predicate definitions.
(package private) ModuleReferenceList	getReferences() Get list of external QEDEQ module references.

Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor

visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave

Methods inherited from class java.lang.Object

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

Constructor Detail

Element2Latex

public Element2Latex(ModuleReferenceList references)

Constructor.

Parameters:

references - External QEDEQ module references.

Method Detail

addPredicate

public void addPredicate(PredicateDefinition definition)

Add predicate definition. If such a definition already exists it is overwritten.

Parameters:

definition - Definition to add.

addFunction

public void addFunction(FunctionDefinition definition)

Add function definition. If such a definition already exists it is overwritten.

Parameters:

definition - Definition to add.

getLatex

public String getLatex(Element element)

Get LaTeX element presentation.

Parameters:

element - Print this element.

Returns:

LaTeX form of element.

getLatex

String getLatex(Element element,
                boolean first)

Get LaTeX element presentation.

Parameters:

element - Print this element.

first - First level?

Returns:

LaTeX form of element.

getReferences

ModuleReferenceList getReferences()

Get list of external QEDEQ module references.

Returns:

External QEDEQ module references.

getPredicateDefinitions

Map getPredicateDefinitions()

Get mapping of predicate definitions.

Returns:

Mapping of predicate definitions.

getFunctionDefinitions

Map getFunctionDefinitions()

Get mapping of function definitions.

Returns:

Mapping of function definitions.