Name | Type | Description | Notes |
---|---|---|---|
constraints_pp | List[str] | ||
invariant_pp | str | ||
ast_json | object | [optional] |
from imandra_http_api_client.models.decompose_region import DecomposeRegion
# TODO update the JSON string below
json = "{}"
# create an instance of DecomposeRegion from a JSON string
decompose_region_instance = DecomposeRegion.from_json(json)
# print the JSON string representation of the object
print DecomposeRegion.to_json()
# convert the object into a dict
decompose_region_dict = decompose_region_instance.to_dict()
# create an instance of DecomposeRegion from a dict
decompose_region_form_dict = decompose_region.from_dict(decompose_region_dict)