Uses of Class
net.hydromatic.morel.util.MartelliUnifier.Work

Packages that use MartelliUnifier.Work

Package	Description
net.hydromatic.morel.util	Utilities.

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

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

Modifier and Type	Method	Description
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, int depth)