def _set_var(self, name, value):
        if not name in self.zkp.all_vars():
            raise Exception("Variable name '%s' not known." % name)
        self.env[name] = value
dataset/ETHPy150Open gdanezis/petlib/examples/genzkp.py/ZKEnv._set_var/original