Unifier.Action (morel 0.2.0 API)

Enclosing class:

Unifier

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
```
@FunctionalInterface
public static interface Unifier.Action
```
Called by the unifier when a Term's type becomes known.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`accept(Unifier.Variable variable, Unifier.Term term, java.util.List<Unifier.TermTerm> termPairs)`

Method Detail

accept

void accept(Unifier.Variable variable,
            Unifier.Term term,
            java.util.List<Unifier.TermTerm> termPairs)