ModelBuilderEnvironment¶
- class ModelBuilderEnvironment¶
Bases:
pybind11_objectEnvironment configuring the Markov model building from a DFT
- property add_labels_claiming¶
Whether labels representing claiming operations are added to the model
- property allow_dc_for_relevant_events¶
Whether Don’t Care propagation is allowed for relevant events
- property max_depth¶
Maximal depth up to which the model is explored. Value None sets unbounded exploration.
- property take_first_dependency¶
Whether to always select the first dependency to resolve non-determinism
- property unique_failed_be¶
Whether one unique state is used for all failed states
- property use_symmetry_reduction¶
Whether symmetry reduction is used