Skip navigation links
$ A B C D E F G H I L M N O P R S T V 

T

Term - Interface in at.jku.risc.stout.tgau.data.atom
Terms are the elemental building blocks of a term graph.
TermAtom - Class in at.jku.risc.stout.tgau.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String) - Constructor for class at.jku.risc.stout.tgau.data.atom.TermAtom
 
TermAtomEquation - Class in at.jku.risc.stout.tgau.data
A pair of two term atoms.
TermAtomEquation(TermAtom, TermAtom) - Constructor for class at.jku.risc.stout.tgau.data.TermAtomEquation
 
TermAtomList - Class in at.jku.risc.stout.tgau.data
A list of TermAtoms which is Poolable.
TermAUP - Class in at.jku.risc.stout.tgau.algo
This class represents an anti-unification problem (AUP) which consists of one generalization variable (the most general generalization), and two Terms.
TermAUP(TermVar, TermVar, TermVar) - Constructor for class at.jku.risc.stout.tgau.algo.TermAUP
Create an AUP with the given generalization variable and hedges.
TermGraph - Class in at.jku.risc.stout.tgau.data
A term graph is a system of recursion equations with a predefined root.
TermGraph(TermVar) - Constructor for class at.jku.risc.stout.tgau.data.TermGraph
 
TermGraph(TermVar, Map<Variable, Term>) - Constructor for class at.jku.risc.stout.tgau.data.TermGraph
 
TermGraphNormalizer - Class in at.jku.risc.stout.tgau.algo
This class can be used to normalize the term graphs.
TermGraphNormalizer() - Constructor for class at.jku.risc.stout.tgau.algo.TermGraphNormalizer
 
TermVar - Class in at.jku.risc.stout.tgau.data.atom
A simple term variable can be substituted by a single term.
TermVar(String) - Constructor for class at.jku.risc.stout.tgau.data.atom.TermVar
 
TinyList<V> - Class in at.jku.risc.stout.tgau.util
Tiny abstract list.
TinyList() - Constructor for class at.jku.risc.stout.tgau.util.TinyList
 
top() - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
top(TermAtom) - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
top(List<Variable>) - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
toString() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment.AlignmentAtom
 
toString() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
 
toString() - Method in class at.jku.risc.stout.tgau.algo.AlignmentList
 
toString() - Method in class at.jku.risc.stout.tgau.data.atom.TermAtom
 
toString() - Method in class at.jku.risc.stout.tgau.util.PrintableX
 
toString() - Method in class at.jku.risc.stout.tgau.util.TinyList
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links