def get_curr_name(self, name):
        self._register_name(name)

        return self._var_name_mappers[name].get_current()
Get current name of symbol.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator.get_curr_name