cprover
|
#include <config.h>
Public Types | |
enum | cpp_standardt { cpp_standardt::CPP98, cpp_standardt::CPP03, cpp_standardt::CPP11, cpp_standardt::CPP14 } |
Public Member Functions | |
void | set_cpp98 () |
void | set_cpp03 () |
void | set_cpp11 () |
void | set_cpp14 () |
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 |
|
strong |
|
static |
Definition at line 690 of file config.cpp.
enum configt::cppt::cpp_standardt configt::cppt::cpp_standard |
|
static |