JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
$
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
G
generalizationVar
- Variable in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
get(int)
- Method in class at.jku.risc.stout.urau.algo.
AlignmentList.Alignment
get(int)
- Method in class at.jku.risc.stout.urau.algo.
AlignmentList
Returns an alignment of this list.
get(Variable)
- Method in class at.jku.risc.stout.urau.algo.
Substitution
Returns the associated
TermNode
for a given
Variable
or null if no mapping exists.
get(int)
- Method in class at.jku.risc.stout.urau.data.
EquationSystem
get(int)
- Method in class at.jku.risc.stout.urau.data.
Hedge
get(int)
- Method in class at.jku.risc.stout.urau.data.
TermAtomList
get(int)
- Method in class at.jku.risc.stout.urau.util.
CoordList
get(int)
- Method in class at.jku.risc.stout.urau.util.
TinyList
guarantees complexity O(1) by definition
getAtom()
- Method in class at.jku.risc.stout.urau.data.
TermNode
getBranchId()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
getEqOrig()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnify
Returns the original system of equations.
getHedge()
- Method in class at.jku.risc.stout.urau.data.
TermNode
getLast()
- Method in class at.jku.risc.stout.urau.util.
TinyList
guarantees complexity O(1) by definition
getLeft()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
Returns the left node of this AUP.
getLeft()
- Method in interface at.jku.risc.stout.urau.data.
Equation
The left hedge of the equation.
getMapping()
- Method in class at.jku.risc.stout.urau.algo.
Substitution
getName()
- Method in class at.jku.risc.stout.urau.data.atom.
TermAtom
getPool(T)
- Static method in class at.jku.risc.stout.urau.util.
Pool
Returns a
Pool
for a certain type of objects.
getProblemSet()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
getRFnc()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
getRight()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
Returns the right node of this AUP.
getRight()
- Method in interface at.jku.risc.stout.urau.data.
Equation
The right hedge of the equation.
getSequence()
- Method in class at.jku.risc.stout.urau.data.
Hedge
getSigma()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
getStore()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
$
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes