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
U
V
C
clear()
- Method in class at.jku.risc.stout.uru.algo.
Substitution
Removes all the mappings from a substitution.
clone()
- Method in interface at.jku.risc.stout.uru.data.
Equation
CLOSING_PARENTHESIS
- Static variable in class at.jku.risc.stout.uru.data.
InputParser
collectHedgeVars(Set<HedgeVar>)
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
collectHedgeVars()
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
collectHedgeVars()
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
collectHedgeVars(Set<HedgeVar>)
- Method in class at.jku.risc.stout.uru.data.
TermNode
collectTermVars()
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
compose(Variable, TermNode)
- Method in class at.jku.risc.stout.uru.algo.
Substitution
Substitution composition which does not add new variables to the mapping.
compose(Substitution)
- Method in class at.jku.risc.stout.uru.algo.
Substitution
ControlledException
- Exception in
at.jku.risc.stout.uru.util
Every exception which will be thrown by intention is a sub-class of this one.
ControlledException()
- Constructor for exception at.jku.risc.stout.uru.util.
ControlledException
ControlledException(String, Throwable)
- Constructor for exception at.jku.risc.stout.uru.util.
ControlledException
ControlledException(String)
- Constructor for exception at.jku.risc.stout.uru.util.
ControlledException
ControlledException(Throwable)
- Constructor for exception at.jku.risc.stout.uru.util.
ControlledException
copy()
- Method in class at.jku.risc.stout.uru.algo.
Substitution
copy()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
copy()
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
copy()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
copy()
- Method in class at.jku.risc.stout.uru.data.atom.
TermAtom
copy()
- Method in class at.jku.risc.stout.uru.data.
Hedge
copy()
- Method in class at.jku.risc.stout.uru.data.
TermNode
createConstant(String)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
createFunction(String, Hedge)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
createHedge(TermNode...)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
createHedgeVar(String)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
createTermVar(String)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
U
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes