def reset(self, full=False):
        self._solver.reset(full)

        if full:
            self._translator.reset()

            self.read_addrs = []
            self.write_addrs = []

    # ======================================================================== #
Returns a list of query objects: one for each update required to an
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.reset--crossover with--dataset/ETHPy150Open AppScale/appscale/AppServer/lib/django-1.4/django/db/models/sql/subqueries.py/UpdateQuery.get_related_updates