CBMC
|
#include <language_file.h>
Public Member Functions | |
language_modulet () | |
Public Attributes | |
std::string | name |
bool | type_checked |
bool | in_progress |
language_filet * | file |
Definition at line 26 of file language_file.h.
|
inline |
Definition at line 33 of file language_file.h.
language_filet* language_modulet::file |
Definition at line 31 of file language_file.h.
bool language_modulet::in_progress |
Definition at line 30 of file language_file.h.
std::string language_modulet::name |
Definition at line 29 of file language_file.h.
bool language_modulet::type_checked |
Definition at line 30 of file language_file.h.