Unifier.Substitution (morel 0.2.0 API)

java.lang.Object
- net.hydromatic.morel.util.Unifier.Substitution

All Implemented Interfaces:

Unifier.Result

Enclosing class:

Unifier
```
public static final class Unifier.Substitution
extends java.lang.Object
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 resolve(net.hydromatic.morel.util.Unifier.Term) method.

Field Summary

Fields
Modifier and Type Field Description

java.util.Map<Unifier.Variable,Unifier.Term> resultMap
The result of the unification algorithm proper.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`Unifier.Substitution`	`resolve()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - resultMap
```
public final java.util.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.
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - resolve
```
public Unifier.Substitution resolve()
```