Unifier.Substitution (morel 0.3.0 API)

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

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

All Methods Instance Methods Concrete Methods
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 Detail
- 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 Detail

Substitution

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

Method Detail

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()
```