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

H

hashCode() - Method in class at.jku.risc.stout.tgau.algo.TermAUP
 
hashCode() - Method in class at.jku.risc.stout.tgau.data.atom.FunctionApplication
 
hashCode() - Method in class at.jku.risc.stout.tgau.data.atom.TermAtom
 
hashCode() - Method in class at.jku.risc.stout.tgau.data.TermAtomEquation
 
hashCode() - Method in class at.jku.risc.stout.tgau.data.TermGraph
 
HedgeAUP - 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.
HedgeAUP(HedgeVar, List<Variable>, List<Variable>, boolean) - Constructor for class at.jku.risc.stout.tgau.algo.HedgeAUP
Create an AUP with the given generalization variable and hedges.
HedgeVar - Class in at.jku.risc.stout.tgau.data.atom
A hedge variable can be substituted by a single term or a hedge.
HedgeVar(String) - Constructor for class at.jku.risc.stout.tgau.data.atom.HedgeVar
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links