$ 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 NominalTerms.

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 Equations

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 NominalPairs.

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