$ A B C D E F G H I J L M N O P R S T V

E

EQ_PREFIX1 - Static variable in class at.jku.risc.stout.hoau.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.hoau.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.hoau.data.EquationSystem

The separator is used to separate the equations of this system.

equals(Function) - Method in class at.jku.risc.stout.hoau.data.atom.Function

equals(Object) - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

equals(Object) - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

equals(Object) - Method in class at.jku.risc.stout.hoau.data.atom.Variable

equals(Object) - Method in class at.jku.risc.stout.hoau.data.Hedge

equals(Object) - Method in class at.jku.risc.stout.hoau.data.TermNode

This equality test performs an alpha equivalence test and also allows eta expansion in order to make the given TermNodes equal.

Equation - Interface in at.jku.risc.stout.hoau.data

Interface for equations which consist of two TermNodes.

EquationSystem<T extends Equation> - Class in at.jku.risc.stout.hoau.data

A system of Equations

EquationSystem() - Constructor for class at.jku.risc.stout.hoau.data.EquationSystem

etaExpand(BoundVariable) - Method in class at.jku.risc.stout.hoau.data.TermNode

exec(TermAtom, Hedge) - Method in class at.jku.risc.stout.hoau.data.TermNode.TraverseCallBack

Propagation will stop as soon as this method returns true.

$ A B C D E F G H I J L M N O P R S T V