12 #ifndef CPROVER_UTIL_JSON_IREP_H 13 #define CPROVER_UTIL_JSON_IREP_H 29 const std::string &sub_tree_id,
34 const std::string &sub_tree_id,
41 #endif // CPROVER_UTIL_JSON_IREP_H
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_objectt convert_from_irep(const irept &) const
To convert to JSON from an irep structure by recursively generating JSON for the different sub trees.
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.
irept convert_from_json(const jsont &) const
Deserialize a JSON irep representation.