Package | Description |
---|---|
at.jku.risc.stout.urmc.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Method and Description |
---|---|
void |
InputParser.parseEqSystem(String unifProblem,
PrintStream debug)
Parse the given input string and add all equations to the system.
|
void |
InputParser.parseHedgeEquation(Reader leftHedge,
Reader rightHedge)
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...) |
TermNode |
InputParser.parseTerm(Reader in) |