Searched refs:egraph_obj (Results 1 – 1 of 1) sorted by relevance
4275 json::object *egraph_obj = new json::object (); in to_json() local4284 egraph_obj->set ("nodes", nodes_arr); in to_json()4294 egraph_obj->set ("edges", edges_arr); in to_json()4299 egraph_obj->set ("ext_state", m_ext_state.to_json ()); in to_json()4300 egraph_obj->set ("worklist", m_worklist.to_json ()); in to_json()4301 egraph_obj->set ("diagnostic_manager", m_diagnostic_manager.to_json ()); in to_json()4312 return egraph_obj; in to_json()