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
J
M
N
O
P
R
S
T
U
V
W
E
emptyArgs
- Static variable in class at.jku.risc.stout.nau.data.atom.
FunctionApplication
EQ_PREFIX1
- Static variable in class at.jku.risc.stout.nau.data.
EquationSystem
The output will look like "
EquationSystem.EQ_PREFIX1
#i#
EquationSystem.EQ_PREFIX2
" where #i# is the index of an equation.
EQ_PREFIX2
- Static variable in class at.jku.risc.stout.nau.data.
EquationSystem
If
EquationSystem.EQ_PREFIX2
is null then the output of the index will also be omitted.
EQ_SEPARATOR
- Static variable in class at.jku.risc.stout.nau.data.
EquationSystem
The separator is used to separate the equations of this system.
eqSeparator
- Static variable in class at.jku.risc.stout.nau.algo.
AntiUnifyProblem
eqSeparator
- Static variable in class at.jku.risc.stout.nau.algo.
EquivarianceProblem
equals(Object)
- Method in class at.jku.risc.stout.nau.data.atom.
Abstraction
equals(Object)
- Method in class at.jku.risc.stout.nau.data.atom.
FunctionApplication
equals(Object)
- Method in class at.jku.risc.stout.nau.data.atom.
Permutation
equals(Object)
- Method in class at.jku.risc.stout.nau.data.atom.
Suspension
equals(Object)
- Method in class at.jku.risc.stout.nau.data.
NominalPair
Equation
<
T
extends
Printable
> - Class in
at.jku.risc.stout.nau.data
An equation consists of two
NominalTerm
s.
Equation(T, T)
- Constructor for class at.jku.risc.stout.nau.data.
Equation
An equation consists of two terms, which are called the left and the right part of the equation, respectively.
EquationSystem
<
T
extends
Equation
<?>> - Class in
at.jku.risc.stout.nau.data
A system of
Equation
s
EquationSystem()
- Constructor for class at.jku.risc.stout.nau.data.
EquationSystem
equivalent(NominalTerm, FreshnessCtx)
- Method in class at.jku.risc.stout.nau.data.atom.
NominalTerm
Alpha-equivalence test of two nominal terms respecting nabla.
Equivariance
- Class in
at.jku.risc.stout.nau.algo
This class encapsulates the rule based system
EquivarianceSystem
and allows to justify the result by applying the computed permutation and testing alpha equivalence.
Equivariance(EquationSystem<EquivarianceProblem>, Collection<? extends Atom>, FreshnessCtx)
- Constructor for class at.jku.risc.stout.nau.algo.
Equivariance
Creates and initializes the encapsulated rule based system
EquivarianceSystem
with the given equation system, atoms and freshness context.
EquivarianceProblem
- Class in
at.jku.risc.stout.nau.algo
This class represents an equivariance problem (an equation of the form t = s) of two
NominalPair
s.
EquivarianceProblem(NominalTerm, NominalTerm)
- Constructor for class at.jku.risc.stout.nau.algo.
EquivarianceProblem
EquivarianceSystem
- Class in
at.jku.risc.stout.nau.algo
This class represents a rule based system to compute an equivariance permutation for nominal terms by atom swapping.
EquivarianceSystem(NodeFactory)
- Constructor for class at.jku.risc.stout.nau.algo.
EquivarianceSystem
EquivarianceSystem(NodeFactory, EquationSystem<EquivarianceProblem>)
- Constructor for class at.jku.risc.stout.nau.algo.
EquivarianceSystem
exec(T)
- Method in class at.jku.risc.stout.nau.util.
Traversable.TraverseCallBack
Forward propagation will stop as soon as this method returns true.
execBackward(T)
- Method in class at.jku.risc.stout.nau.util.
Traversable.TraverseCallBack
Traversing will stop as soon as this method returns true.
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes