A C D E F G H I M N O P R S T U V

E

eliminateSeqVariable(HedgeVar) - Method in class at.jku.risc.stout.uru.algo.UnifSystem

empty - Static variable in class at.jku.risc.stout.uru.data.TermNode

equals(Object) - Method in class at.jku.risc.stout.uru.algo.Substitution

equals(Object) - Method in class at.jku.risc.stout.uru.algo.UnifEquation

equals(Object) - Method in class at.jku.risc.stout.uru.algo.UnifProblem

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

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

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

Interface for equations which consist of two TermNodes.

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

Propagation will stop as soon as this method returns true.

A C D E F G H I M N O P R S T U V