#include <ms_cl_version.h>
Definition at line 19 of file ms_cl_version.h.
◆ targett
◆ ms_cl_versiont()
| ms_cl_versiont::ms_cl_versiont |
( |
| ) |
|
|
inline |
◆ get()
| void ms_cl_versiont::get |
( |
const std::string & |
executable | ) |
|
◆ is_at_least()
| bool ms_cl_versiont::is_at_least |
( |
unsigned |
v_major, |
|
|
unsigned |
v_minor = 0 |
|
) |
| const |
◆ default_c_standard
◆ default_cxx_standard
◆ target
◆ v_major
| unsigned ms_cl_versiont::v_major |
◆ v_minor
| unsigned ms_cl_versiont::v_minor |
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-cc/ms_cl_version.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-cc/ms_cl_version.cpp