(self, formula, variables)
return (new_formula, new_var_list)
Bounds the variables in formula.

        Returns a tuple (new_formula, new_var_list) in which the old
        variables have been replaced by the new variables in the list.
Bounds the variables in formula.
Bounds the variables in formula .
def _rename_bound_variables(self, formula, variables):
        """Bounds the variables in formula.

        Returns a tuple (new_formula, new_var_list) in which the old
        variables have been replaced by the new variables in the list.
        """
        mkBoundVar = self.cvc4_exprMgr.mkBoundVar
        new_var_list = [mkBoundVar(x.symbol_name(),
                                   self._type_to_cvc4(x.symbol_type())) \
                        for x in variables]
        old_var_list = [self.walk_symbol(x, []) for x in variables]
        new_formula = formula.substitute(old_var_list, new_var_list)
        return (new_formula, new_var_list)
def _rename_bound_variables ( self , formula , variables ) : mkBoundVar = self . cvc4_exprMgr . mkBoundVar new_var_list = [ mkBoundVar ( x . symbol_name ( ) , self . _type_to_cvc4 ( x . symbol_type ( ) ) ) for x in variables ] old_var_list = [ self . walk_symbol ( x , [ ] ) for x in variables ] new_formula = formula . substitute ( old_var_list , new_var_list ) return ( new_formula , new_var_list )