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

H

hashCode() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation

hashCode() - Method in class at.jku.risc.stout.urmc.algo.Substitution

hashCode() - Method in class at.jku.risc.stout.urmc.data.Hedge

hashCode() - Method in class at.jku.risc.stout.urmc.data.TermNode

headF() - Method in class at.jku.risc.stout.urmc.data.Hedge

headV() - Method in class at.jku.risc.stout.urmc.data.Hedge

hedge - Variable in class at.jku.risc.stout.urmc.data.atom.Hole

Hedge - Class in at.jku.risc.stout.urmc.data

A Hedge is a sequence of TermNodes.

Hedge() - Constructor for class at.jku.risc.stout.urmc.data.Hedge

Hedge(List<TermNode>) - Constructor for class at.jku.risc.stout.urmc.data.Hedge

HedgeVar - Class in at.jku.risc.stout.urmc.data.atom

A hedge variable can be substituted by a single TermNode or a hedge which is represented by a TermNode with a null-atom TermNode.isNullAtom().

Hole - Class in at.jku.risc.stout.urmc.data.atom

The Hole is a special symbol that appears exactly once in a context.

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