Package | Description |
---|---|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Method and Description |
---|---|
void |
InputParser.parseEquationSystem(String aupsIn)
Parses a system of anti-unification equations which are separated by
semicolon.
|
T |
InputParser.parseHedgeEquation(Reader leftHedge,
Reader rightHedge)
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...) |
TermNode |
InputParser.parseTerm(Reader in) |
TermNode |
InputParser.parseTerm(String in)
Use InputParser.parseTerm(Reader) if possible! It performs much better
and saves space by reading directly from the data stream!!!
|