Interface Unifiable<T>

All Superinterfaces:
Serializable
All Known Implementing Classes:
ExpressionTemplate, StringName, UAnyOf, UClassType, UExpression, UForAll, UFreeIdent, UIntersectionClassType, ULiteral, UMemberSelect, UMethodIdent, 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

    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 Details

    • unify

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