| Name | Type | Description | Notes |
|---|---|---|---|
| regions | List[DecomposeRegion] |
from imandra_http_api_client.models.decompose_result import DecomposeResult
# TODO update the JSON string below
json = "{}"
# create an instance of DecomposeResult from a JSON string
decompose_result_instance = DecomposeResult.from_json(json)
# print the JSON string representation of the object
print DecomposeResult.to_json()
# convert the object into a dict
decompose_result_dict = decompose_result_instance.to_dict()
# create an instance of DecomposeResult from a dict
decompose_result_form_dict = decompose_result.from_dict(decompose_result_dict)