MultiObjectiveModelCheckerEnvironment¶
- class MultiObjectiveModelCheckerEnvironment¶
Bases:
pybind11_objectEnvironment for multi-objective model checking
- property encoding_type¶
- is_export_plot_set( ) bool¶
Whether plots are exported
- property max_steps¶
- property method¶
multi-objective model checking method
- property plot_path_over_approximation¶
- property plot_path_pareto_points¶
- property plot_path_under_approximation¶
- property precision¶
- property precision_type¶
- property print_results¶
- property scheduler_restriction¶
- property use_bscc_order_encoding¶
- property use_indicator_constraints¶
- property use_redundant_bscc_constraints¶