|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.qedeq.kernel.bo.service.internal.Element2LatexImpl
public final class Element2LatexImpl
Transfer a QEDEQ formulas into LaTeX text.
| Constructor Summary | |
|---|---|
Element2LatexImpl(ModuleLabels labels)
Constructor. |
|
| Method Summary | |
|---|---|
java.lang.String |
getLatex(Element element)
Get LaTeX element presentation. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Element2LatexImpl(ModuleLabels labels)
labels - Knows about labels, definitions and external QEDEQ module references.| Method Detail |
|---|
public java.lang.String getLatex(Element element)
Element2Latex
getLatex in interface Element2Latexelement - Print this element.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||