Method clear_user_var_values

rust/src/medium_level_il/function.rs:266–275

Clear all user defined variable values.

(&self)

    /// Clear all user defined variable values.
    pub fn clear_user_var_values(&self) -> Result<(), ()> {
        for user_var_val in &self.user_var_values() {
            self.clear_user_var_value(
                &user_var_val.variable,
                user_var_val.def_site.addr,
                user_var_val.after,
            )?;
        }
        Ok(())
    }

    pub fn create_auto_stack_var<'a, T: Into<Conf<&'a Type>>, S: BnStrCompatible>(
        &self,