Searched refs:state_obj (Results 1 – 1 of 1) sorted by relevance
954 json::object *state_obj = new json::object (); in to_json() local956 state_obj->set ("store", m_region_model->get_store ()->to_json ()); in to_json()957 state_obj->set ("constraints", in to_json()960 state_obj->set ("curr_frame", in to_json()973 state_obj->set ("checkers", checkers_obj); in to_json()976 state_obj->set ("valid", new json::literal (m_valid)); in to_json()978 return state_obj; in to_json()