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
J
M
N
O
P
R
S
T
V
W
X
Y
C
callback(AntiUnifySystem, Variable)
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnify
This callback function will be invoked for every found generalization.
checkCommutative()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.VariableWithHedges
clear()
- Method in class at.jku.risc.stout.urauc.algo.
Contour
clear()
- Method in class at.jku.risc.stout.urauc.algo.
ContourArrangement
clear()
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
Removes all the mappings from a substitution.
clear()
- Method in class at.jku.risc.stout.urauc.data.
EquationSystem
Removes all the equations of this system.
clip(Contour.ContourAtom)
- Method in class at.jku.risc.stout.urauc.algo.
Contour
Computes a rectangular clip which contains all the elements of this contour inside the rectangle (0,0), (
Contour.ContourAtom.i
-1,
Contour.ContourAtom.j
-1).
clone()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
clone()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem.VariableWithHedges
clone()
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
clone()
- Method in class at.jku.risc.stout.urauc.data.
Alignment.AlignmentAtom
clone()
- Method in class at.jku.risc.stout.urauc.data.
Alignment
clone()
- Method in class at.jku.risc.stout.urauc.data.atom.
Hole
clone()
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
clone()
- Method in class at.jku.risc.stout.urauc.data.
Hedge
clone()
- Method in class at.jku.risc.stout.urauc.data.
TermNode
clone()
- Method in class at.jku.risc.stout.urauc.util.
IntList
CLOSING_PARENTHESIS
- Static variable in class at.jku.risc.stout.urauc.data.
InputParser
commonAncestor(TermAtom)
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
compareTo(TermAtom)
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
compareTo(Hedge)
- Method in class at.jku.risc.stout.urauc.data.
Hedge
compareTo(TermNode)
- Method in class at.jku.risc.stout.urauc.data.
TermNode
This compare method treads commutativity by ordered argument sequences.
composeInRange(Variable, Hedge)
- Method in class at.jku.risc.stout.urauc.algo.
Substitution
Substitution composition which does not add new variables to the mapping.
compute()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifySystem
Computes the result silently.
compute(DebugLevel, PrintStream)
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifySystem
Computes the result and prints progress information to
PrintStream
according to
DebugLevel
.
ContextVar
- Class in
at.jku.risc.stout.urauc.data.atom
A context variable can be substituted by a context.
ContextVar(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
ContextVar
Contour
- Class in
at.jku.risc.stout.urauc.algo
A list of contour elements.
Contour()
- Constructor for class at.jku.risc.stout.urauc.algo.
Contour
Contour.ContourAtom
- Class in
at.jku.risc.stout.urauc.algo
ContourArrangement
- Class in
at.jku.risc.stout.urauc.algo
A list of all the
Contour
s of the common subsequence problem of two lists of
TermAtom
s.
ContourArrangement()
- Constructor for class at.jku.risc.stout.urauc.algo.
ContourArrangement
ContourArrangement(int)
- Constructor for class at.jku.risc.stout.urauc.algo.
ContourArrangement
ControlledException
- Exception in
at.jku.risc.stout.urauc.util
Every exception which will be thrown by intention is a sub-class of this one.
ControlledException()
- Constructor for exception at.jku.risc.stout.urauc.util.
ControlledException
ControlledException(String, Throwable)
- Constructor for exception at.jku.risc.stout.urauc.util.
ControlledException
ControlledException(String)
- Constructor for exception at.jku.risc.stout.urauc.util.
ControlledException
ControlledException(Throwable)
- Constructor for exception at.jku.risc.stout.urauc.util.
ControlledException
createConstant(String)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createContextVar(String, Hedge)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createFunction(String, Hedge)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createFunctionVar(String, Hedge)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createHedge(TermNode...)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createHedgeVar(String)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createHole(String)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
Will return always the same Object.
createIndividualVar(String)
- Method in class at.jku.risc.stout.urauc.data.
NodeFactory
createMostGeneral()
- Method in class at.jku.risc.stout.urauc.algo.
AntiUnifyProblem
ctxVarCnt
- Static variable in class at.jku.risc.stout.urauc.data.
NodeFactory
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes