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

G

G1 - Static variable in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
G2 - Static variable in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
generalizationVar - Variable in class at.jku.risc.stout.tgau.algo.HedgeAUP
 
generalizationVar - Variable in class at.jku.risc.stout.tgau.algo.TermAUP
 
get(int) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList.Alignment
 
get(int) - Method in class at.jku.risc.stout.tgau.algo.AlignmentList
Returns an alignment of this list.
get(int) - Method in class at.jku.risc.stout.tgau.data.TermAtomList
 
get(Variable) - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
get(int) - Method in class at.jku.risc.stout.tgau.util.CoordList
 
get(int) - Method in class at.jku.risc.stout.tgau.util.TinyList
guarantees complexity O(1) by definition
getArgs() - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
getAtom() - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
getAtom() - Method in interface at.jku.risc.stout.tgau.data.atom.Term
 
getAtom() - Method in class at.jku.risc.stout.tgau.data.atom.Variable
 
getBranchId() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
getFunctionSymbol(String) - Method in class at.jku.risc.stout.tgau.data.NodeFactory
 
getGeneralizationVar() - Method in class at.jku.risc.stout.tgau.algo.BaseAUP
 
getGeneralizationVar() - Method in class at.jku.risc.stout.tgau.algo.HedgeAUP
 
getGeneralizationVar() - Method in class at.jku.risc.stout.tgau.algo.TermAUP
 
getGraph() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
getLast() - Method in class at.jku.risc.stout.tgau.util.TinyList
guarantees complexity O(1) by definition
getLeft() - Method in class at.jku.risc.stout.tgau.algo.BaseAUP
 
getLeft() - Method in class at.jku.risc.stout.tgau.algo.HedgeAUP
 
getLeft() - Method in class at.jku.risc.stout.tgau.algo.TermAUP
 
getName() - Method in class at.jku.risc.stout.tgau.data.atom.TermAtom
 
getNormalizedSet() - Method in class at.jku.risc.stout.tgau.algo.AntiUnify
The set of all the computed and normalized generalizations.
getPool(T) - Static method in class at.jku.risc.stout.tgau.util.Pool
Returns a Pool for a certain type of objects.
getProblemSet() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
getRecursionEquations() - Method in class at.jku.risc.stout.tgau.data.TermGraph
Use and manipulate it carefully! Adding equations that are not in canonical form leads to unpredictable behavior.
getRight() - Method in class at.jku.risc.stout.tgau.algo.BaseAUP
 
getRight() - Method in class at.jku.risc.stout.tgau.algo.HedgeAUP
 
getRight() - Method in class at.jku.risc.stout.tgau.algo.TermAUP
 
getRoot() - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
getStore() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
getStoreC() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
Store for HedgeAUPs where the order does not matter (commutative AUPs and AUPs that only consist of 0 or 1 arguments).
getStoreH() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
Store for HedgeAUPs where the order matters (not commutative AUPs where one side has at least 2 arguments).
getStoreT() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
Store for TermAUPs.
getSymbol() - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
getTrail() - Method in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links