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

H

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

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

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

hashCode() - Method in class at.jku.risc.stout.urauc.util.Pair

hasNext() - Method in class at.jku.risc.stout.urauc.algo.AlignFncInput

hasNext() - Method in class at.jku.risc.stout.urauc.algo.AlignFncLAA.AlignmentIter

hasNext() - Method in class at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

hasNext() - Method in class at.jku.risc.stout.urauc.algo.ContourArrangement

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

A Hedge is a sequence of TermNodes.

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

Create an empty hedge

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

Create an empty hedge

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

Create an empty hedge with the given initial capacity.

Hedge(int, boolean) - Constructor for class at.jku.risc.stout.urauc.data.Hedge

Create an empty hedge with the given initial capacity.

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

Create a hedge with the specified sequence of TermNodes in it.

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

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

Create a hedge with the specified TermNodes in it.

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

Create a hedge with TermNodes which encapsulate the specified TermAtoms in it.

HedgeVar - Class in at.jku.risc.stout.urauc.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.urauc.data.atom.HedgeVar

hedgeVarCnt - Static variable in class at.jku.risc.stout.urauc.data.NodeFactory

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

The hole which appears exactly once in a context.

Hole(String) - Constructor for class at.jku.risc.stout.urauc.data.atom.Hole

HOLE_NAME - Static variable in class at.jku.risc.stout.urauc.data.InputParser

default = '@' => Any word starting with '@' will become a hole.

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