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