UmbExportOptions¶
- class UmbExportOptions(self: stormpy.io.UmbExportOptions)¶
Bases:
pybind11_objectOptions for exporting UMB models
- property allow_choice_labeling_as_actions¶
Whether choice labelings may be exported as actions
- property allow_choice_origins_as_actions¶
Whether choice origins may be exported as actions
- property canonicize_pomdp¶
Whether to canonicize POMDPs before export
- property compression¶
Compression mode for the UMB archive
- property value_type¶
Value type used for all model values