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

H

hasBoundVar(String) - Method in class at.jku.risc.stout.hoau.data.NodeFactory

hasFreeVar(Variable) - Method in class at.jku.risc.stout.hoau.data.TermNode

Checks whether a variable occurs freely inside inside the term.

hashCode() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

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

A Hedge is a sequence of TermNodes.

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

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