at.jku.risc.stout.urau.data
Modifier and Type | Class and Description |
---|---|
class |
TermNode.TraverseCallBack
This class may be used to
traverse a term tree and
execute an arbitrary operation on every node.
|
Modifier and Type | Field and Description |
---|---|
static TermAtom |
nullAtom |
static Hedge |
nullHedge |
Constructor and Description |
---|
TermNode(TermAtom atom,
Hedge hedge)
Instantiates a new term node.
|
Modifier and Type | Method and Description |
---|---|
TermNode |
apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
TermNode |
clone() |
boolean |
equals(Object other) |
TermAtom |
getAtom() |
Hedge |
getHedge() |
boolean |
isNullAtom()
Tests whether the atom of this term node is the null atom.
|
void |
print(Writer out) |
void |
setAtom(TermAtom atom)
Null values are transformed to unique objects which represent the null
value.
|
void |
setHedge(Hedge hedge)
Null values are transformed to unique objects which represent the null
value.
|
TermNode |
substitute(Variable from,
TermNode to)
|
boolean |
traverse(TermNode.TraverseCallBack callBack)
Traverses the term tree and executes the callback function at every node.
|
public static final TermAtom nullAtom
public static final Hedge nullHedge
public TermNode(TermAtom atom, Hedge hedge)
public TermNode apply(Map<Variable,TermNode> sigma)
public TermAtom getAtom()
public Hedge getHedge()
public boolean isNullAtom()
public void print(Writer out) throws IOException
print
in class Printable
IOException
public void setAtom(TermAtom atom)
nullAtom
public void setHedge(Hedge hedge)
nullHedge
public boolean traverse(TermNode.TraverseCallBack callBack)
TermNode.TraverseCallBack