Unifiable (error-prone library 2.13.0 API)

All Superinterfaces:

Serializable

All Known Implementing Classes:

ExpressionTemplate, StringName, UAnyOf, UClassType, UExpression, UForAll, UFreeIdent, UIntersectionClassType, ULiteral, UMemberSelect, UMethodInvocation, UMethodType, UPlaceholderExpression, UReturn, UStaticIdent, UTree, UType, UTypeVar, UVariableDecl
```
public interface Unifiable<T>
extends Serializable
```
A serializable representation of a template that can be matched against a target of type T.

Author:

Louis Wasserman

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Choice<Unifier>`	`unify(T target, Unifier unifier)`	Returns all valid unification paths (if any) from this `Unifier` that unify this with `target`.

- Method Detail
  - unify
```
Choice<Unifier> unify(T target,
                      Unifier unifier)
```
    Returns all valid unification paths (if any) from this Unifier that unify this with target.