(self, formula, variables)
return (new_formula, new_vars)
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.
        """
        new_vars = [self._bound_symbol(x) for x in variables]
        old_vars = [self.walk_symbol(x) for x in variables]
        new_formula = yicespy.yices_subst_term(len(variables), new_vars,
                                                old_vars, formula)
        return (new_formula, new_vars)
def _rename_bound_variables ( self , formula , variables ) : new_vars = [ self . _bound_symbol ( x ) for x in variables ] old_vars = [ self . walk_symbol ( x ) for x in variables ] new_formula = yicespy . yices_subst_term ( len ( variables ) , new_vars , old_vars , formula ) return ( new_formula , new_vars )