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
C
callback(TermGraph)
- Method in class at.jku.risc.stout.tgau.algo.
AntiUnify
This callback function will be invoked for every found generalization.
checkAndTrim()
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
Check and remove useless (unreachable) equations
cleanUp()
- Method in class at.jku.risc.stout.tgau.algo.
AlignmentList
cleanUp()
- Method in class at.jku.risc.stout.tgau.data.
TermAtomList
cleanUp()
- Method in class at.jku.risc.stout.tgau.util.
CoordList
cleanUp()
- Method in interface at.jku.risc.stout.tgau.util.
Poolable
This method is called from the
Pool
before the object is returned to the pool.
CLOSING_PARENTHESIS
- Static variable in class at.jku.risc.stout.tgau.data.
InputParser
The parenthesis ')' is used by default for function applications.
CLOSING_PARENTHESIS2
- Static variable in class at.jku.risc.stout.tgau.data.
InputParser
The curly (double) bracket '}' is used by default to indicate commutative function applications.
commitAllMappings()
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
commutative
- Variable in class at.jku.risc.stout.tgau.algo.
HedgeAUP
compare(TermAtom)
- Method in class at.jku.risc.stout.tgau.data.atom.
TermAtom
compareTo(TermAUP)
- Method in class at.jku.risc.stout.tgau.algo.
TermAUP
compareTo(Term)
- Method in class at.jku.risc.stout.tgau.data.atom.
FunctionApplication
compareTo(Term)
- Method in class at.jku.risc.stout.tgau.data.atom.
Variable
compareTo(TermAtomEquation)
- Method in class at.jku.risc.stout.tgau.data.
TermAtomEquation
compareTo(TermGraph)
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
Poor performance - do not use if not absolutely necessary.
compute()
- Method in class at.jku.risc.stout.tgau.algo.
AntiUnifySystem
Most likely you don't need this method because the algorithm is encapsulated in the class
AntiUnify
which is much easier to use.
compute(TermAtomList, TermAtomList)
- Method in class at.jku.risc.stout.tgau.algo.
RigidityFnc
compute(TermAtomList, TermAtomList)
- Method in class at.jku.risc.stout.tgau.algo.
RigidityFncSubsequence
Make sure to free the alignment list as soon as you do not need it anymore!
compute(TermAtomList, TermAtomList)
- Method in class at.jku.risc.stout.tgau.algo.
RigidityFncSubstring
contains(int, int)
- Method in class at.jku.risc.stout.tgau.util.
CoordList
ControlledException
- Exception in
at.jku.risc.stout.tgau.util
Every exception which will be thrown by intention is a sub-class of this one.
ControlledException()
- Constructor for exception at.jku.risc.stout.tgau.util.
ControlledException
ControlledException(String, Throwable)
- Constructor for exception at.jku.risc.stout.tgau.util.
ControlledException
ControlledException(String)
- Constructor for exception at.jku.risc.stout.tgau.util.
ControlledException
ControlledException(Throwable)
- Constructor for exception at.jku.risc.stout.tgau.util.
ControlledException
CoordList
- Class in
at.jku.risc.stout.tgau.util
A pooled list of x,y coordinates.
copy()
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
copyRootAndTrim(TermVar)
- Method in class at.jku.risc.stout.tgau.data.
TermGraph
Creates a copy with the specified root and removes all useless (unreachable) equations
createConstant(String)
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
createFunction(String, List<Variable>)
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
createHedgeVar(String)
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
createTermVar(String)
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
$
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