DecomposeRequestSrc.md

DecomposeRequestSrc

Properties

Name Type Description Notes
name str Name of a function to decompose
assuming str A side condition function name [optional]
prune bool [optional]
max_rounds int [optional]
stop_at int [optional]

Example

from imandra_http_api_client.models.decompose_request_src import DecomposeRequestSrc

# TODO update the JSON string below
json = "{}"
# create an instance of DecomposeRequestSrc from a JSON string
decompose_request_src_instance = DecomposeRequestSrc.from_json(json)
# print the JSON string representation of the object
print DecomposeRequestSrc.to_json()

# convert the object into a dict
decompose_request_src_dict = decompose_request_src_instance.to_dict()
# create an instance of DecomposeRequestSrc from a dict
decompose_request_src_form_dict = decompose_request_src.from_dict(decompose_request_src_dict)

[Back to Model list] [Back to API list] [Back to README]