(self, fun, vrs, body)
return fun(variables, body)
Cleans the execution environment when we exit the scope of a quantifier
Cleans the execution environment when we exit the scope of a quantifier
Cleans the execution environment when we exit the scope of a quantifier
def _exit_quantifier(self, fun, vrs, body):
        """
        Cleans the execution environment when we exit the scope of a quantifier
        """
        variables = set()
        for vname, var in vrs:
            self.cache.unbind(vname)
            variables.add(var)
        return fun(variables, body)
def _exit_quantifier ( self , fun , vrs , body ) : variables = set ( ) for vname , var in vrs : self . cache . unbind ( vname ) variables . add ( var ) return fun ( variables , body )