A C D E F G H I M N O P R S T V
E
- eliminateSeqVariable(HedgeVar) - Method in class at.jku.risc.stout.urmc.algo.MatchSystem
-
- EMPTY - Static variable in class at.jku.risc.stout.urmc.data.TermNode
-
- equals(Object) - Method in class at.jku.risc.stout.urmc.algo.MatchEquation
-
- equals(Object) - Method in class at.jku.risc.stout.urmc.algo.MatchProblem
-
- equals(Object) - Method in class at.jku.risc.stout.urmc.algo.Substitution
-
- equals(Object) - Method in class at.jku.risc.stout.urmc.data.Hedge
-
- equals(Object) - Method in class at.jku.risc.stout.urmc.data.TermNode
-
- Equation - Interface in at.jku.risc.stout.urmc.data
-
Interface for equations which consist of two
TermNodes.
- exec(TermAtom, Hedge) - Method in class at.jku.risc.stout.urmc.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 V