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

H

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

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

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

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

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

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

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

A Hedge is a sequence of TermNodes.

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

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

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

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