See: Description
Class | Description |
---|---|
ContextVar |
A context variable can be substituted by a context.
|
Function |
A TermAtom which represents a function symbol.
|
FunctionVar |
A function variable can be substituted by a function symbol or function
variable.
|
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().
|
Hole |
The Hole is a special symbol that appears exactly once in a context.
|
NodeFactory | |
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.
|