Class | Description |
---|---|
Function |
A TermAtom which represents a function symbol.
|
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().
|
TermAtom |
Base class for all the atomic types like function symbols and variables.
|
TermVar |
A simple term variable can be substituted by a single TermNode.
|
Variable |
This is the base class for different types of variables.
|