Loading...

Searching...

No Matches

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 333 of file config.h.

Member Enumeration Documentation

◆ cpp_standardt

enum class configt::cppt::cpp_standardt

strong

Enumerator
CPP98
CPP03
CPP11
CPP14
CPP17

Definition at line 335 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 349 of file config.h.

◆ set_cpp11()

void configt::cppt::set_cpp11 ( )

inline

Definition at line 353 of file config.h.

◆ set_cpp14()

void configt::cppt::set_cpp14 ( )

inline

Definition at line 357 of file config.h.

◆ set_cpp17()

void configt::cppt::set_cpp17 ( )

inline

Definition at line 361 of file config.h.

◆ set_cpp98()

void configt::cppt::set_cpp98 ( )

inline

Definition at line 345 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 366 of file config.h.

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

/home/runner/work/cbmc/cbmc/src/util/config.h
/home/runner/work/cbmc/cbmc/src/util/config.cpp

configt
cppt
Generated by doxygen 1.9.8