ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
base_subobject.h File Reference
#include <string>
#include <string_view>
Include dependency graph for base_subobject.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string base_subobject_name (std::string_view class_id)

Variables

constexpr std::string_view BASE_SUBOBJECT_PREFIX = "@base@"

Function Documentation

◆ base_subobject_name()

std::string base_subobject_name ( std::string_view class_id)
inline

Variable Documentation

◆ BASE_SUBOBJECT_PREFIX

std::string_view BASE_SUBOBJECT_PREFIX = "@base@"
inlineconstexpr