Package net.hydromatic.morel.util

Class Unifier.Substitution

java.lang.Object

net.hydromatic.morel.util.Unifier.Substitution

Direct Known Subclasses:

Unifier.SubstitutionResult

Enclosing class:

Unifier

public static class Unifier.Substitution
extends Object

Map from variables to terms.

Quicker to create than its sub-class Unifier.SubstitutionResult because the map is mutable and not sorted.

Field Summary

Fields

Modifier and Type	Field	Description
final Map<Unifier.Variable,Unifier.Term>	resultMap	The result of the unification algorithm proper.

Constructor Summary

Constructors

Constructor	Description
Substitution(Map<Unifier.Variable,Unifier.Term> resultMap)

Method Summary

Modifier and Type	Method	Description
StringBuilder	accept(StringBuilder buf)
boolean	equals(Object obj)
private boolean	hasCycles(Map<Unifier.Variable,Unifier.Term> map)
int	hashCode()
Unifier.Substitution	resolve()
Unifier.Term	resolve(Unifier.Term term)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

resultMap

public final Map<Unifier.Variable,Unifier.Term> resultMap

The result of the unification algorithm proper. This does not have everything completely resolved: some variable substitutions are required before getting the most atom-y representation.

Constructor Details

Substitution

Substitution(Map<Unifier.Variable,Unifier.Term> resultMap)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

accept

public StringBuilder accept(StringBuilder buf)

resolve

public Unifier.Term resolve(Unifier.Term term)

hasCycles

private boolean hasCycles(Map<Unifier.Variable,Unifier.Term> map)

resolve

public Unifier.Substitution resolve()