data class Assignment: Equation An equation stating Var = Term Fields Name Description val isAssignment: Boolean val lhs: Var The left-hand side of the equation val rhs: Term The right-hand side of the equation Constructors <init> constructor(lhs: Var, rhs: Term) An equation stating Var = Term Parameters Name Description lhs: Var rhs: Term Methods toSubstitution fun toSubstitution(): Unifier ReturnValue Name Description Unifier toPair fun toPair(): Pair<Var, Term> ReturnValue Name Description Pair<Var, Term> asAssignment fun asAssignment(): Assignment ReturnValue Name Description Assignment
An equation stating Var = Term