CBMC
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
configt::cppt Struct Reference

#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
 

Detailed Description

Definition at line 302 of file config.h.

Member Enumeration Documentation

◆ cpp_standardt

enum configt::cppt::cpp_standardt
strong
Enumerator
CPP98 
CPP03 
CPP11 
CPP14 
CPP17 

Definition at line 304 of file config.h.

Member Function Documentation

◆ default_cpp_standard()

configt::cppt::cpp_standardt configt::cppt::default_cpp_standard ( )
static

Definition at line 751 of file config.cpp.

◆ set_cpp03()

void configt::cppt::set_cpp03 ( )
inline

Definition at line 318 of file config.h.

◆ set_cpp11()

void configt::cppt::set_cpp11 ( )
inline

Definition at line 322 of file config.h.

◆ set_cpp14()

void configt::cppt::set_cpp14 ( )
inline

Definition at line 326 of file config.h.

◆ set_cpp17()

void configt::cppt::set_cpp17 ( )
inline

Definition at line 330 of file config.h.

◆ set_cpp98()

void configt::cppt::set_cpp98 ( )
inline

Definition at line 314 of file config.h.

Member Data Documentation

◆ cpp_standard

enum configt::cppt::cpp_standardt configt::cppt::cpp_standard

◆ default_object_bits

const std::size_t configt::cppt::default_object_bits = 8
static

Definition at line 335 of file config.h.

The documentation for this struct was generated from the following files: