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
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
A concatenation of
AntiUnifySystem.getStoreT()
and
AntiUnifySystem.getStoreH()
and
AntiUnifySystem.getStoreC()
getStoreC()
- Method in class at.jku.risc.stout.tgau.algo.
AntiUnifySystem
Store for
HedgeAUP
s 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
HedgeAUP
s 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
TermAUP
s.
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
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes