|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for file_operations::file_data, including all inherited members.
| bundled(const char *data, size_t size) | file_operations::file_data | static |
| file_data()=default | file_operations::file_data | |
| file_data(const file_data &)=delete | file_operations::file_data | |
| file_data(file_data &&)=default | file_operations::file_data | |
| is_bundled() const noexcept | file_operations::file_data | |
| operator=(const file_data &)=delete | file_operations::file_data | |
| operator=(file_data &&)=default | file_operations::file_data | |
| owned(std::string data) | file_operations::file_data | static |
| size() const noexcept | file_operations::file_data | |
| view() const noexcept | file_operations::file_data |