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
clear()
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
Removes all the mappings from a substitution.
clone()
- Method in interface at.jku.risc.stout.urmc.data.
Equation
CLOSING_PARENTHESIS
- Static variable in class at.jku.risc.stout.urmc.data.
InputParser
collectHedgeVars()
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
collectTermVars()
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
compose(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
Substitution composition which does not add new variables to the mapping.
compose(Substitution)
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
ContextVar
- Class in
at.jku.risc.stout.urmc.data.atom
A context variable can be substituted by a context.
ControlledException
- Exception in
at.jku.risc.stout.urmc.util
Every exception which will be thrown by intention is a sub-class of this one.
ControlledException()
- Constructor for exception at.jku.risc.stout.urmc.util.
ControlledException
ControlledException(String, Throwable)
- Constructor for exception at.jku.risc.stout.urmc.util.
ControlledException
ControlledException(String)
- Constructor for exception at.jku.risc.stout.urmc.util.
ControlledException
ControlledException(Throwable)
- Constructor for exception at.jku.risc.stout.urmc.util.
ControlledException
copy()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
copy()
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
copy()
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
copy()
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
copy()
- Method in class at.jku.risc.stout.urmc.data.atom.
TermAtom
copy()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
copy()
- Method in class at.jku.risc.stout.urmc.data.
TermNode
createConstant(String)
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
createFunction(String, Hedge)
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
createHedge(TermNode...)
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
createHedgeVar(String)
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
createTermVar(String)
- Method in class at.jku.risc.stout.urmc.data.atom.
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