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

Packages that use Unifier.SubstitutionResult

Package	Description
net.hydromatic.morel.util	Utilities.

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

Fields in net.hydromatic.morel.util declared as Unifier.SubstitutionResult

Modifier and Type	Field	Description
static final Unifier.SubstitutionResult	Unifier.SubstitutionResult.EMPTY	Empty substitution result.

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

Modifier and Type	Method	Description
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Map<Unifier.Variable,Unifier.Term> resultMap)	Creates a substitution result from a map.
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Unifier.Variable v, Unifier.Term t)	Creates a substitution result with one (variable, term) entry.