12 #ifndef CPROVER_UTIL_JSON_IREP_H 13 #define CPROVER_UTIL_JSON_IREP_H 28 const std::string &sub_tree_id,
33 const std::string &sub_tree_id,
40 #endif // CPROVER_UTIL_JSON_IREP_H
void convert_from_irep(const irept &irep, jsont &json) const
To convert to JSON from an irep structure by recursively generating JSON for the different sub trees...
std::vector< irept > subt
void convert_named_sub_tree(const std::string &sub_tree_id, const irept::named_subt &sub_trees, json_objectt &parent) const
To convert to JSON from a map of ireps that are in a named subtree.
Base class for tree-like data structures with sharing.
std::map< irep_namet, irept > named_subt
json_irept(bool include_comments)
To convert to JSON from an irep structure by recursively generating JSON for the different sub trees...
void convert_sub_tree(const std::string &sub_tree_id, const irept::subt &sub_trees, json_objectt &parent) const
To convert to JSON from a list of ireps that are in an unlabelled subtree.
void convert_from_json(const jsont &, irept &) const
Deserialize a JSON irep representation.
json_objectt json(const source_locationt &location)