CBMC
|
#include <config.h>
Public Types | |
enum class | cpp_standardt { CPP98 , CPP03 , CPP11 , CPP14 , CPP17 } |
Public Member Functions | |
void | set_cpp98 () |
void | set_cpp03 () |
void | set_cpp11 () |
void | set_cpp14 () |
void | set_cpp17 () |
Static Public Member Functions | |
static cpp_standardt | default_cpp_standard () |
Public Attributes | |
enum configt::cppt::cpp_standardt | cpp_standard |
Static Public Attributes | |
static const std::size_t | default_object_bits = 8 |
|
static |
Definition at line 751 of file config.cpp.
enum configt::cppt::cpp_standardt configt::cppt::cpp_standard |
|
static |