def reset(self):
        self._solver.reset(full=True)

        # Memory versioning.
        self._mem = self._solver.mkArray(self._address_size, "MEM_0")
        self._mem_instance = 0

        self._mem_init = self._solver.mkArrayNew(self._address_size, "MEM_0")

        self._var_name_mappers = {}

    # Auxiliary functions
    # ======================================================================== #
mouseMoveEvent(e: QMouseEvent) -> None
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator.reset--crossover with--dataset/ETHPy150Open VisTrails/VisTrails/vistrails/gui/graphics_view.py/QPIPGraphicsView.mouseMoveEvent