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
A
add(UnifEquation)
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
add(UnifSystem)
- Method in class at.jku.risc.stout.uru.algo.
UnifSystemCollection
add(TermNode)
- Method in class at.jku.risc.stout.uru.data.
Hedge
addLeft(TermNode)
- Method in interface at.jku.risc.stout.uru.data.
Equation
Adds a
TermNode
to the left hedge of the equation.
addRight(TermNode)
- Method in interface at.jku.risc.stout.uru.data.
Equation
Adds a
TermNode
to the left hedge of the equation.
addToHedge(TermNode)
- Method in class at.jku.risc.stout.uru.data.atom.
NodeFactory
apply(Substitution)
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
apply(Substitution)
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
apply(Substitution)
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.uru.data.atom.
TermAtom
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.uru.data.atom.
Variable
apply(Map<Variable, TermNode>)
- Method in class at.jku.risc.stout.uru.data.
Hedge
apply(Map<Variable, TermNode>)
- Method in class at.jku.risc.stout.uru.data.
TermNode
Applies a substitution recursively and returns the new
TermNode
.
at.jku.risc.stout.uru.algo
- package at.jku.risc.stout.uru.algo
at.jku.risc.stout.uru.data
- package at.jku.risc.stout.uru.data
This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.uru.data.atom
- package at.jku.risc.stout.uru.data.atom
This package contains all the atomic types like
Function
,
TermVar
,
HedgeVar
.
at.jku.risc.stout.uru.util
- package at.jku.risc.stout.uru.util
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