Searched refs:propagate_col (Results 1 – 10 of 10) sorted by relevance
36 no_option.propagate_col = False44 acc_clean_search_opt.propagate_col = False52 partial_degen_opt.propagate_col = False61 parity_equiv_opt.propagate_col = False69 rab_to_buchi_opt.propagate_col = False77 use_car_opt.propagate_col = False108 propagate_col = opt.propagate_col,
82 bool propagate_col = true; member
1583 if (options.propagate_col) in run()
3104 …propagate_col = property(_impl.to_parity_options_propagate_col_get, _impl.to_parity_options_propag… variable in to_parity_options
122911 if (arg1) (arg1)->propagate_col = arg2; in _wrap_to_parity_options_propagate_col_set()122934 result = (bool) ((arg1)->propagate_col); in _wrap_to_parity_options_propagate_col_get()