ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
file_operations::file_data Member List

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_datastatic
file_data()=defaultfile_operations::file_data
file_data(const file_data &)=deletefile_operations::file_data
file_data(file_data &&)=defaultfile_operations::file_data
is_bundled() const noexceptfile_operations::file_data
operator=(const file_data &)=deletefile_operations::file_data
operator=(file_data &&)=defaultfile_operations::file_data
owned(std::string data)file_operations::file_datastatic
size() const noexceptfile_operations::file_data
view() const noexceptfile_operations::file_data