docs/api/usr__utils_8h_source.html

#ifndef CPROVER_UTIL_USR_UTILS_H

#define CPROVER_UTIL_USR_UTILS_H


#include <string>

#include <string_view>


std::string user_name_to_usr(std::string_view user_name);


std::string usr_to_user_name(std::string_view usr_name);


#endif

usr_to_user_name
std::string usr_to_user_name(std::string_view usr_name)
Convert Clang USR format to user-friendly function name.
Definition usr_utils.cpp:94

user_name_to_usr
std::string user_name_to_usr(std::string_view user_name)
Convert user-friendly function name to Clang USR format.
Definition usr_utils.cpp:29