DataStructureFactory
which
instantiates common data structures like List
s,
Map
s, Set
s.See: Description
Interface | Description |
---|---|
Equation |
Interface for equations which consist of two TermNodes.
|
Class | Description |
---|---|
EquationSystem<T extends Equation> |
A system of Equations
|
Hedge | |
InputParser |
Tiny term parser with the following rules: (The described rules use the
default configuration.
|
LambdaHedge |
A LambdaHedge is a list of TermNodes.
|
NodeFactory | |
TermNode |
Exception | Description |
---|---|
MalformedTermException |
This exception is thrown if something goes wrong while parsing the input term.
|
NotNormalizableException |
This exception is thrown if a lambda term could not be normalized to beta
normal form within the given upper bound of recursion repetitions.
|
DataStructureFactory
which
instantiates common data structures like List
s,
Map
s, Set
s.