$ 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.urau.data.atom.TermAtom

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

A Hedge is a sequence of TermNodes.

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

HedgeVar - Class in at.jku.risc.stout.urau.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().

HedgeVar(String) - Constructor for class at.jku.risc.stout.urau.data.atom.HedgeVar

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