Package | Description |
---|---|
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
Modifier and Type | Method and Description |
---|---|
<T extends Equation> |
InputParser.parseEquation(Reader in1,
Reader in2,
EquationSystem<T> eqSys,
int maxReduce) |
TermNode |
InputParser.parseSequence(Reader in)
Parses a sequence of terms out of the given Reader and
returns it.
|
TermNode |
InputParser.parseSequence(String in)
Use InputParser.parseSequence(Reader) if possible! It performs better
and saves space by reading directly from the data stream;)
|
TermNode |
InputParser.parseTerm(Reader in)
Parses a term out of the given Reader and returns it.
|
TermNode |
InputParser.parseTerm(String in)
Use InputParser.parseTerm(Reader) if possible! It performs better and
saves space by reading directly from the data stream;)
|
void |
NodeFactory.pushLambda(String boundVar,
String type) |