JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
$
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
Term
s.
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
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes