Uses of Enum
net.hydromatic.morel.util.MartelliUnifier.Kind

Packages that use MartelliUnifier.Kind

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of MartelliUnifier.Kind in net.hydromatic.morel.util

Methods in net.hydromatic.morel.util that return MartelliUnifier.Kind

Modifier and Type	Method	Description
(package private) static MartelliUnifier.Kind	MartelliUnifier.Kind.of(Unifier.TermTerm pair)
static MartelliUnifier.Kind	MartelliUnifier.Kind.valueOf(String name)	Returns the enum constant of this type with the specified name.
static MartelliUnifier.Kind[]	MartelliUnifier.Kind.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in net.hydromatic.morel.util with parameters of type MartelliUnifier.Kind

Modifier and Type	Method	Description
private void	MartelliUnifier.Work.sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)