Searched refs:json_ps (Results 1 – 1 of 1) sorted by relevance
262 def __init__(self, state_id, json_ps): argument275 if json_ps is None:276 json_ps = {290 self.store = Store(json_ps[store_key]) \291 if json_ps[store_key] is not None else None294 GenericEnvironment(json_ps[env_key]['items']) \295 if json_ps[env_key] is not None else None298 (c['symbol'], c['range']) for c in json_ps[constraints_key]299 ]) if json_ps[constraints_key] is not None else None305 for t in json_ps[dyn_ty_key]]) \[all …]