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

A

add(TermAtom) - Method in class at.jku.risc.stout.tgau.data.TermAtomList
 
add(int, int) - Method in class at.jku.risc.stout.tgau.util.CoordList
 
add(T) - Method in class at.jku.risc.stout.tgau.util.DynamicArray
 
add(int) - Method in class at.jku.risc.stout.tgau.util.IntList
 
addAtom(TermAtom, int, int) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
addRecursionEquation(Variable, Term) - Method in class at.jku.risc.stout.tgau.data.TermGraph
Adds a recursion equation in canonical form to the system of equations of the term graph.
addToHedge(Variable) - Method in class at.jku.risc.stout.tgau.data.NodeFactory
 
AlignmentList - Class in at.jku.risc.stout.tgau.algo
A list of AlignmentList.Alignment elements which is pooled.
AlignmentList.Alignment - Class in at.jku.risc.stout.tgau.algo
AlignmentList.Alignment.AlignmentAtom - Class in at.jku.risc.stout.tgau.algo
An AlignmentList.Alignment.AlignmentAtom consists of an TermAtom and two indexes for the positions of the atom inside the two hedges of an TermAUP.
AntiUnify - Class in at.jku.risc.stout.tgau.algo
This class encapsulates the rule based system AntiUnifySystem and takes care of the system branching.
AntiUnify(RigidityFnc, RigidityFncSubsequence, TermGraph, TermGraph, NodeFactory) - Constructor for class at.jku.risc.stout.tgau.algo.AntiUnify
Attention: Do not run two instances in parallel, since AntiUnifySystem uses global static arguments!
antiUnify(boolean, boolean) - Method in class at.jku.risc.stout.tgau.algo.AntiUnify
Silently computes the generalizations.
antiUnify(boolean, boolean, DebugLevel, PrintStream) - Method in class at.jku.risc.stout.tgau.algo.AntiUnify
Start computation with the specified PrintStream to show the progress of the computation.
AntiUnifySystem - Class in at.jku.risc.stout.tgau.algo
This class represents a rule based system for rigid anti-unification of term graphs.
AntiUnifySystem(Deque<PrintableX>, List<HedgeAUP>, List<HedgeAUP>, List<TermAUP>, Map<TermAUP, TermVar>, TermGraph) - Constructor for class at.jku.risc.stout.tgau.algo.AntiUnifySystem
Most likely you don't need this constructor because the algorithm is encapsulated in the class AntiUnify which is much easier to use.
at.jku.risc.stout.tgau.algo - package at.jku.risc.stout.tgau.algo
This package contains the entry point for the anti-unification algorithm AntiUnify, the rule based system AntiUnifySystem, the corresponding problem definitions TermAUP and HedgeAUP, and some standard implementations of a rigidity function (RigidityFncSubsequence, RigidityFncSubstring ).
at.jku.risc.stout.tgau.data - package 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 - package at.jku.risc.stout.tgau.data.atom
This package contains all the atomic types like FunctionSymbol, TermVar, HedgeVar, FunctionApplication.
at.jku.risc.stout.tgau.util - package at.jku.risc.stout.tgau.util
This package contains utility classes like the DataStructureFactory which instantiates common data structures like Lists, Maps, Sets.
atom - Variable in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment.AlignmentAtom
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links