clone

abstract override fun clone(lhs: Term = this.lhs, rhs: Term = this.rhs): Equation.Assignment

Creates a copy of this Equation, of the same concrete subtype, with lhs and/or rhs replaced.