Package | Description |
---|---|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
Modifier and Type | Method and Description |
---|---|
Term |
TermGraph.addRecursionEquation(Variable var,
Term node)
Adds a recursion equation in canonical form to the system of equations of the
term graph.
|
void |
TermGraph.checkAndTrim()
Check and remove useless (unreachable) equations
|
TermGraph |
TermGraph.copyRootAndTrim(TermVar newRoot)
Creates a copy with the specified root and removes all useless (unreachable)
equations
|
Variable |
NodeFactory.createHedgeVar(java.lang.String name) |
Variable |
NodeFactory.createTermVar(java.lang.String name) |
TermGraph |
InputParser.parseTermGraph(java.io.Reader in,
boolean enableCommutative)
Parses a system of recursion equations and returns a term graph.
|