Package | Description |
---|---|
at.jku.risc.stout.urmc.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urmc.data.atom |
Modifier and Type | Field and Description |
---|---|
static Hedge |
Hedge.nullHedge |
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.apply(Map<Variable,TermNode> sigma) |
Hedge |
Hedge.copy() |
Hedge |
TermNode.getHedge() |
Hedge |
Hedge.subHedge(int fromIdx,
int toIdx) |
Hedge |
Hedge.substitute(Variable x,
TermNode t) |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
TermNode.TraverseCallBack.exec(TermAtom atom,
Hedge hedge)
Propagation will stop as soon as this method returns true.
|
TermNode |
TermNode.replaceHole(Hedge plugIn)
Replaces the hole in this context with the given 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.
|
Modifier and Type | Field and Description |
---|---|
Hedge |
Hole.hedge |
Modifier and Type | Method and Description |
---|---|
Hedge |
NodeFactory.createHedge(TermNode... nodes) |
Hedge |
NodeFactory.popHedge() |
Modifier and Type | Method and Description |
---|---|
TermNode |
NodeFactory.createFunction(String name,
Hedge hedge) |