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
C
callback(AntiUnifySystem, Variable)
- Method in class at.jku.risc.stout.urau.algo.
AntiUnify
This callback function will be invoked for every found generalization.
cleanUp()
- Method in class at.jku.risc.stout.urau.algo.
AlignmentList
cleanUp()
- Method in class at.jku.risc.stout.urau.data.
TermAtomList
cleanUp()
- Method in class at.jku.risc.stout.urau.util.
CoordList
cleanUp()
- Method in interface at.jku.risc.stout.urau.util.
Poolable
This method is called from the
Pool
before the object is returned to the pool.
clear()
- Method in class at.jku.risc.stout.urau.algo.
Substitution
Removes all the mappings from a substitution.
clone()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
clone()
- Method in class at.jku.risc.stout.urau.algo.
Substitution
clone()
- Method in class at.jku.risc.stout.urau.data.atom.
TermAtom
clone()
- Method in class at.jku.risc.stout.urau.data.atom.
Variable
clone()
- Method in interface at.jku.risc.stout.urau.data.
Equation
clone()
- Method in class at.jku.risc.stout.urau.data.
EquationSystem
clone()
- Method in class at.jku.risc.stout.urau.data.
Hedge
clone()
- Method in class at.jku.risc.stout.urau.data.
TermNode
CLOSING_PARENTHESIS
- Static variable in class at.jku.risc.stout.urau.data.
InputParser
compareTo(TermAtom)
- Method in class at.jku.risc.stout.urau.data.atom.
TermAtom
composeInRange(Variable, TermNode)
- Method in class at.jku.risc.stout.urau.algo.
Substitution
Substitution composition which does not add new variables to the mapping.
compute()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifySystem
Computes the result silently.
compute(DebugLevel, PrintStream)
- Method in class at.jku.risc.stout.urau.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.urau.algo.
RigidityFnc
compute(TermAtomList, TermAtomList)
- Method in class at.jku.risc.stout.urau.algo.
RigidityFncSubsequence
compute(TermAtomList, TermAtomList)
- Method in class at.jku.risc.stout.urau.algo.
RigidityFncSubstring
contains(int, int)
- Method in class at.jku.risc.stout.urau.util.
CoordList
ControlledException
- Exception in
at.jku.risc.stout.urau.util
Every exception which will be thrown by intention is a sub-class of this one.
ControlledException()
- Constructor for exception at.jku.risc.stout.urau.util.
ControlledException
ControlledException(String, Throwable)
- Constructor for exception at.jku.risc.stout.urau.util.
ControlledException
ControlledException(String)
- Constructor for exception at.jku.risc.stout.urau.util.
ControlledException
ControlledException(Throwable)
- Constructor for exception at.jku.risc.stout.urau.util.
ControlledException
CoordList
- Class in
at.jku.risc.stout.urau.util
A pooled list of x,y coordinates.
createConstant(String)
- Method in class at.jku.risc.stout.urau.data.
NodeFactory
createFunction(String, Hedge)
- Method in class at.jku.risc.stout.urau.data.
NodeFactory
createHedge(TermNode...)
- Method in class at.jku.risc.stout.urau.data.
NodeFactory
createHedgeVar(String)
- Method in class at.jku.risc.stout.urau.data.
NodeFactory
createTermNode()
- Method in class at.jku.risc.stout.urau.algo.
AntiUnifyProblem
Create a
TermNode
of the generalization variable.
createTermVar(String)
- Method in class at.jku.risc.stout.urau.data.
NodeFactory
$
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