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 | Class and Description |
---|---|
class |
LambdaHedge
A LambdaHedge is a list of TermNodes.
|
Modifier and Type | Field and Description |
---|---|
static Hedge |
TermNode.nullHedge |
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.clone() |
Hedge |
TermNode.getHedge() |
Hedge |
Hedge.newInstance() |
Hedge |
LambdaHedge.newInstance() |
Hedge |
NodeFactory.popHedge() |
Hedge |
Hedge.reduce(int count) |
Hedge |
LambdaHedge.reduce(int count) |
Modifier and Type | Method and Description |
---|---|
TermNode |
NodeFactory.createFunction(String name,
String type,
Hedge hedge) |
TermNode |
NodeFactory.createIndividualVar(String name,
String type,
Hedge hedge) |
abstract boolean |
TermNode.TraverseCallBack.exec(TermAtom atom,
Hedge hedge)
Propagation will stop as soon as this method returns true.
|
TermNode |
NodeFactory.popLambda(Hedge hedge) |
void |
TermNode.setHedge(Hedge hedge)
Null values are transformed to unique objects which represent the null
value.
|
Constructor and Description |
---|
TermNode(TermAtom atom,
Hedge hedge)
Instantiates a new term node.
|