$ A C D E F G H I J M N O P R S T V W X Y

E

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

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

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

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

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

equals(Object) - Method in class at.jku.risc.stout.urauc.util.Pair

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

Interface for equations which consist of two TermNodes.

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

A system of Equations

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

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

Propagation 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 V W X Y