def _translate_dst_oprnd(self, operand):
        if isinstance(operand, ReilRegisterOperand):

            ret_val, parent_reg_constrs = self._translate_dst_register_oprnd(operand)

        else:

            self._raise_invalid_type_oprnd(operand)

        return ret_val, parent_reg_constrs
Translate destination operand to a SMT expression.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_dst_oprnd