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 | Method and Description |
---|---|
TermAtom |
TermNode.getAtom() |
Modifier and Type | Method and Description |
---|---|
Map<TermAtom,Integer> |
Hedge.headF() |
Map<TermAtom,Integer> |
Hedge.headV() |
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.
|
boolean |
TermNode.occurs(TermAtom atomOcc) |
void |
TermNode.setAtom(TermAtom atom)
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 | Class and Description |
---|---|
class |
ContextVar
A context variable can be substituted by a context.
|
class |
Function
A TermAtom which represents a function symbol.
|
class |
FunctionVar
A function variable can be substituted by a function symbol or function
variable.
|
class |
HedgeVar
A hedge variable can be substituted by a single TermNode or a
hedge which is represented by a TermNode with a null-atom
TermNode.isNullAtom().
|
class |
Hole
The Hole is a special symbol that appears exactly once in a context.
|
class |
TermVar
A simple term variable can be substituted by a single TermNode.
|
class |
Variable
This is the base class for different types of variables.
|
Modifier and Type | Field and Description |
---|---|
static TermAtom |
TermAtom.nullAtom |
Modifier and Type | Method and Description |
---|---|
TermAtom |
TermAtom.copy() |