CBMC
|
Go to the source code of this file.
Functions | |
std::vector< std::string > | pretty_node (const std::pair< labelt, structured_data_entryt > &entry) |
std::string | to_pretty (const structured_datat &data) |
Convert the structured_data into plain text. More... | |
std::vector<std::string> pretty_node | ( | const std::pair< labelt, structured_data_entryt > & | entry | ) |
Definition at line 115 of file structured_data.cpp.
std::string to_pretty | ( | const structured_datat & | data | ) |
Convert the structured_data into plain text.
For the example structured data, this will produce:
Definition at line 149 of file structured_data.cpp.