Package net.hydromatic.morel.util

Class Unifier.SubstitutionResult

java.lang.Object

net.hydromatic.morel.util.Unifier.Substitution

net.hydromatic.morel.util.Unifier.SubstitutionResult

All Implemented Interfaces:

Unifier.Result

Enclosing class:

Unifier

public static final class Unifier.SubstitutionResult
extends Unifier.Substitution
implements Unifier.Result

The results of a successful unification. Gives access to the raw variable mapping that resulted from the algorithm, but can also resolve a variable to the fullest extent possible with the Unifier.Substitution.resolve(net.hydromatic.morel.util.Unifier.Term) method.

Field Summary

Fields

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

Fields inherited from class net.hydromatic.morel.util.Unifier.Substitution

resultMap

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SubstitutionResult(Map<Unifier.Variable,Unifier.Term> resultMap)

Method Summary

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

Methods inherited from class net.hydromatic.morel.util.Unifier.Substitution

accept, equals, hashCode, resolve, resolve, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

EMPTY

public static final Unifier.SubstitutionResult EMPTY

Empty substitution result.

Constructor Details

SubstitutionResult

private SubstitutionResult(Map<Unifier.Variable,Unifier.Term> resultMap)

Method Details

create

public static Unifier.SubstitutionResult create(Map<Unifier.Variable,Unifier.Term> resultMap)

Creates a substitution result from a map.

create

public static Unifier.SubstitutionResult create(Unifier.Variable v,
 Unifier.Term t)

Creates a substitution result with one (variable, term) entry.