Package | Description |
---|---|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
at.jku.risc.stout.tgau.data.atom |
This package contains all the atomic types like
FunctionSymbol,
TermVar,
HedgeVar,
FunctionApplication.
|
Modifier and Type | Method and Description |
---|---|
FunctionSymbol |
NodeFactory.getFunctionSymbol(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
FunctionSymbol |
FunctionApplication.getAtom() |
FunctionSymbol |
FunctionApplication.getSymbol() |
Modifier and Type | Method and Description |
---|---|
void |
FunctionApplication.setSymbol(FunctionSymbol atom) |
Constructor and Description |
---|
FunctionApplication(FunctionSymbol symbol,
java.util.List<Variable> args)
Instantiates a new term node.
|