JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
$
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
S
setAtom(TermAtom)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Null values are transformed to unique objects which represent the null value.
setHedge(Hedge)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Null values are transformed to unique objects which represent the null value.
setLeft(TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
AntiUnifyProblem
setLeft(TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivProblem
setLeft(TermNode)
- Method in interface at.jku.risc.stout.hoau.data.
Equation
Sets the left hand side of the equation to the given
TermNode
.
setRight(TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
AntiUnifyProblem
setRight(TermNode)
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivProblem
setRight(TermNode)
- Method in interface at.jku.risc.stout.hoau.data.
Equation
Sets the right hand side of the equation to the given
TermNode
.
SIGMA_EMPTY_REPLACEMENT
- Static variable in class at.jku.risc.stout.hoau.algo.
Substitution
Most likely you want to change
Hedge.PRINT_PARAM_START
and
Hedge.PRINT_PARAM_END
instead of this variable.
SIGMA_END
- Static variable in class at.jku.risc.stout.hoau.algo.
Substitution
Default = "} "
SIGMA_MAPTO
- Static variable in class at.jku.risc.stout.hoau.algo.
Substitution
Default = " -> "
SIGMA_START
- Static variable in class at.jku.risc.stout.hoau.algo.
Substitution
Default = "{"
size()
- Method in class at.jku.risc.stout.hoau.data.
EquationSystem
Returns the number of equations in this system.
size()
- Method in class at.jku.risc.stout.hoau.data.
Hedge
start(Set<? extends Variable>, Set<? extends Variable>)
- Method in class at.jku.risc.stout.hoau.algo.
PermEquivSystem
Initializes the permutation computation.
substitute(Variable, TermNode)
- Method in class at.jku.risc.stout.hoau.data.
Hedge
substitute(BoundVariable, BoundVariable)
- Method in class at.jku.risc.stout.hoau.data.
Hedge
substitute(Variable, TermNode)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Substitutes a variable by a term and returns the result.
substitute(BoundVariable, BoundVariable)
- Method in class at.jku.risc.stout.hoau.data.
TermNode
Substitutes one bound variable by another bound variable.
Substitution
- Class in
at.jku.risc.stout.hoau.algo
This class represents a substitution, which is a mapping from variables to terms.
It is used inside the rule based system
AntiUnifySystem
to compute generalizations for given
AntiUnifyProblem
s.
Substitution(int)
- Constructor for class at.jku.risc.stout.hoau.algo.
Substitution
Creates an empty substitution with the given upper bound for the beta reduction.
SUFFIX_FreshBoundVar
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
SUFFIX_FreshFreeVar
- Static variable in class at.jku.risc.stout.hoau.data.
NodeFactory
$
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes