Searched refs:ext_state_obj (Results 1 – 1 of 1) sorted by relevance
109 json::object *ext_state_obj = new json::object (); in to_json() local117 ext_state_obj->set ("checkers", checkers_arr); in to_json()120 return ext_state_obj; in to_json()