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 |
---|---|
Term |
TermGraph.addRecursionEquation(Variable var,
Term node)
Adds a recursion equation in canonical form to the system of equations of the
term graph.
|
Term |
TermGraph.get(Variable recursionVar) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Variable,Term> |
TermGraph.getRecursionEquations()
Use and manipulate it carefully! Adding equations that are not in canonical
form leads to unpredictable behavior.
|
Modifier and Type | Method and Description |
---|---|
Term |
TermGraph.addRecursionEquation(Variable var,
Term node)
Adds a recursion equation in canonical form to the system of equations of the
term graph.
|
void |
TermGraph.suggestMapping(Variable from,
Term to)
Suggests a mapping from a variable to a term node.
|
Constructor and Description |
---|
TermGraph(TermVar root,
java.util.Map<Variable,Term> recursionEquations) |
Modifier and Type | Class and Description |
---|---|
class |
FunctionApplication
A function application consists of a FunctionSymbol and a
List of variables.
|
class |
HedgeVar
A hedge variable can be substituted by a single term or a hedge.
|
class |
TermVar
A simple term variable can be substituted by a single term.
|
class |
Variable
This is the base class for different types of variables.
|
Modifier and Type | Method and Description |
---|---|
int |
FunctionApplication.compareTo(Term o) |
int |
Variable.compareTo(Term o) |