Uses of Enum
net.hydromatic.morel.util.MartelliUnifier.Kind
Packages that use MartelliUnifier.Kind
-
Uses of MartelliUnifier.Kind in net.hydromatic.morel.util
Methods in net.hydromatic.morel.util that return MartelliUnifier.KindModifier and TypeMethodDescription(package private) static MartelliUnifier.KindMartelliUnifier.Kind.of(Unifier.Term left, Unifier.Term right) static MartelliUnifier.KindReturns 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.KindModifier and TypeMethodDescriptionprivate voidMartelliUnifier.Work.sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)