UmbImportOptions¶
- class UmbImportOptions(self: stormpy.io.UmbImportOptions)¶
Bases:
pybind11_objectOptions for importing UMB models
- property build_choice_labeling¶
Whether to build choice labelings
- property build_state_valuations¶
Whether to build state valuations
- property value_type¶
Value type used for all model values