Uses of Class
net.hydromatic.morel.util.Unifier.Substitution

Packages that use Unifier.Substitution

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Substitution in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Unifier.Substitution

Modifier and Type	Field	Description
(package private) Unifier.Substitution	TypeMap.substitution

Constructors in net.hydromatic.morel.compile with parameters of type Unifier.Substitution

Constructor	Description
TypeMap(TypeSystem typeSystem, Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)

Uses of Unifier.Substitution in net.hydromatic.morel.util

Subclasses of Unifier.Substitution in net.hydromatic.morel.util

Modifier and Type	Class	Description
static class	Unifier.SubstitutionResult	The results of a successful unification.

Methods in net.hydromatic.morel.util that return Unifier.Substitution

Modifier and Type	Method	Description
Unifier.Substitution	Unifier.Substitution.resolve()
Unifier.Substitution	Unifier.substitution(Unifier.Term... varTerms)	Creates a substitution.

Methods in net.hydromatic.morel.util with parameters of type Unifier.Substitution

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