Class TreePrinter

java.lang.Object

com.knezevic.edaf.v3.repr.grammar.render.TreePrinter

public final class TreePrinter
extends Object

Expression renderers for derivation trees.

Constructor Summary

Constructors

Constructor	Description
TreePrinter()

Method Summary

Modifier and Type	Method	Description
String	toDot(DerivationTree tree)	Exports tree as Graphviz DOT graph.
String	toInfix(DerivationTree tree)	Prints tree in readable infix/function form.
String	toLatex(DerivationTree tree)	Prints tree in LaTeX-like mathematical form.
String	toPrefix(DerivationTree tree)	Prints tree in prefix function form.

Methods inherited from class java.lang.Object

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

Constructor Details

TreePrinter

public TreePrinter()

Method Details

toInfix

public String toInfix(DerivationTree tree)

Prints tree in readable infix/function form.

toPrefix

public String toPrefix(DerivationTree tree)

Prints tree in prefix function form.

toLatex

public String toLatex(DerivationTree tree)

Prints tree in LaTeX-like mathematical form.

toDot

public String toDot(DerivationTree tree)

Exports tree as Graphviz DOT graph.