Home
last modified time | relevance | path

Searched refs:c_sort (Results 1 – 25 of 114) sorted by relevance

12345

/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/
H A Dqcft-smtlib3dbc51.smt213 (declare-fun c_sort (c_type c_unique) c_ssorted)
145 …c_sort type_alloc_table ?a_223_143) (c_sort ?v_0 ?m1_222_144) (c_sort ?v_0 ?m2_221_145) (c_sort (t…
155 …c_sort ?v_1 ?p1_260_185))) (=> (not (not_in_pset ?v_2 (c_sort ?v_0 ?l_261_184))) (not (= (base_add…
156 …c_sort (type_pointer ?t_44_267_186) ?p_266_187) (c_sort ?v_0 (pset_all (c_sort ?v_0 ?l_265_188))))…
179 …c_sort ?v_0 ?m1_402_323) (c_sort ?v_0 ?m2_401_324)) (forall ((?p_400_325 c_unique)) (forall ((?a_3…
185 …c_sort ?v_0 ?m1_424_345) (c_sort ?v_0 ?m2_423_346)) (forall ((?p1_422_347 c_unique)) (forall ((?p2…
192 …c_sort type_alloc_table ?a_441_362) (c_sort (type_pointer ?t_88_442_361) ?p_440_363)) (forall ((?i…
194 …c_sort type_alloc_table ?a1_445_366) (c_sort type_alloc_table ?a2_444_367)) (forall ((?q_443_368 c…
208 …c_sort ?v_0 ?u_global_497_403)) (?v_5 (c_sort ?v_0 ?t_global_496_404)) (?v_6 (c_sort ?v_0 ?s1PM_gl…
210 …c_sort ?v_0 ?p2_global_506_412)) (?v_5 (c_sort ?v_0 ?p1_global_505_413)) (?v_6 (c_sort ?v_0 ?anony…
[all …]
H A Dsmtlib384a03.smt211 (declare-fun c_sort (c_type c_unique) c_ssorted)
143 …c_sort type_alloc_table ?a_223_143) (c_sort ?v_0 ?m1_222_144) (c_sort ?v_0 ?m2_221_145) (c_sort (t…
153 …c_sort ?v_1 ?p1_260_185))) (=> (not (not_in_pset ?v_2 (c_sort ?v_0 ?l_261_184))) (not (= (base_add…
154 …c_sort (type_pointer ?t_44_267_186) ?p_266_187) (c_sort ?v_0 (pset_all (c_sort ?v_0 ?l_265_188))))…
161 …c_sort (type_pointer ?t_52_312_228) ?p1_307_233) (c_sort (type_pset ?t_52_312_228) ?l_309_231))) (…
162 …c_sort ?v_0 ?p_317_237) (c_sort (type_pset ?t_53_318_236) (pset_acc_all (c_sort (type_pset ?t_54_3…
177 …c_sort ?v_0 ?m1_402_323) (c_sort ?v_0 ?m2_401_324)) (forall ((?p_400_325 c_unique)) (forall ((?a_3…
179 …c_sort ?v_0 ?m1_410_329) (c_sort ?v_0 ?m2_409_330) ?size_408_331) (forall ((?p_407_332 c_unique)) …
183 …c_sort ?v_0 ?m1_424_345) (c_sort ?v_0 ?m2_423_346)) (forall ((?p1_422_347 c_unique)) (forall ((?p2…
190 …c_sort type_alloc_table ?a_441_362) (c_sort (type_pointer ?t_88_442_361) ?p_440_363)) (forall ((?i…
[all …]
H A Dsmtlibf957ea.smt213 (declare-fun c_sort (c_type c_unique) c_ssorted)
145 …c_sort type_alloc_table ?a_223_143) (c_sort ?v_0 ?m1_222_144) (c_sort ?v_0 ?m2_221_145) (c_sort (t…
155 …c_sort ?v_1 ?p1_260_185))) (=> (not (not_in_pset ?v_2 (c_sort ?v_0 ?l_261_184))) (not (= (base_add…
156 …c_sort (type_pointer ?t_44_267_186) ?p_266_187) (c_sort ?v_0 (pset_all (c_sort ?v_0 ?l_265_188))))…
163 …c_sort (type_pointer ?t_52_312_228) ?p1_307_233) (c_sort (type_pset ?t_52_312_228) ?l_309_231))) (…
164 …c_sort ?v_0 ?p_317_237) (c_sort (type_pset ?t_53_318_236) (pset_acc_all (c_sort (type_pset ?t_54_3…
179 …c_sort ?v_0 ?m1_402_323) (c_sort ?v_0 ?m2_401_324)) (forall ((?p_400_325 c_unique)) (forall ((?a_3…
181 …c_sort ?v_0 ?m1_410_329) (c_sort ?v_0 ?m2_409_330) ?size_408_331) (forall ((?p_407_332 c_unique)) …
185 …c_sort ?v_0 ?m1_424_345) (c_sort ?v_0 ?m2_423_346)) (forall ((?p1_422_347 c_unique)) (forall ((?p2…
192 …c_sort type_alloc_table ?a_441_362) (c_sort (type_pointer ?t_88_442_361) ?p_440_363)) (forall ((?i…
[all …]
H A Dsmtlib46f14a.smt211 (declare-fun c_sort (c_type c_unique) c_ssorted)
143 …c_sort type_alloc_table ?a_223_143) (c_sort ?v_0 ?m1_222_144) (c_sort ?v_0 ?m2_221_145) (c_sort (t…
153 …c_sort ?v_1 ?p1_260_185))) (=> (not (not_in_pset ?v_2 (c_sort ?v_0 ?l_261_184))) (not (= (base_add…
154 …c_sort (type_pointer ?t_44_267_186) ?p_266_187) (c_sort ?v_0 (pset_all (c_sort ?v_0 ?l_265_188))))…
161 …c_sort (type_pointer ?t_52_312_228) ?p1_307_233) (c_sort (type_pset ?t_52_312_228) ?l_309_231))) (…
162 …c_sort ?v_0 ?p_317_237) (c_sort (type_pset ?t_53_318_236) (pset_acc_all (c_sort (type_pset ?t_54_3…
177 …c_sort ?v_0 ?m1_402_323) (c_sort ?v_0 ?m2_401_324)) (forall ((?p_400_325 c_unique)) (forall ((?a_3…
179 …c_sort ?v_0 ?m1_410_329) (c_sort ?v_0 ?m2_409_330) ?size_408_331) (forall ((?p_407_332 c_unique)) …
183 …c_sort ?v_0 ?m1_424_345) (c_sort ?v_0 ?m2_423_346)) (forall ((?p1_422_347 c_unique)) (forall ((?p2…
190 …c_sort type_alloc_table ?a_441_362) (c_sort (type_pointer ?t_88_442_361) ?p_440_363)) (forall ((?i…
[all …]
H A Dsmtlibe99bbe.smt210 (declare-fun c_sort (c_type c_unique) c_ssorted)
142 …c_sort type_alloc_table ?a_223_143) (c_sort ?v_0 ?m1_222_144) (c_sort ?v_0 ?m2_221_145) (c_sort (t…
152 …c_sort ?v_1 ?p1_260_185))) (=> (not (not_in_pset ?v_2 (c_sort ?v_0 ?l_261_184))) (not (= (base_add…
153 …c_sort (type_pointer ?t_44_267_186) ?p_266_187) (c_sort ?v_0 (pset_all (c_sort ?v_0 ?l_265_188))))…
176 …c_sort ?v_0 ?m1_402_323) (c_sort ?v_0 ?m2_401_324)) (forall ((?p_400_325 c_unique)) (forall ((?a_3…
182 …c_sort ?v_0 ?m1_424_345) (c_sort ?v_0 ?m2_423_346)) (forall ((?p1_422_347 c_unique)) (forall ((?p2…
189 …c_sort type_alloc_table ?a_441_362) (c_sort (type_pointer ?t_88_442_361) ?p_440_363)) (forall ((?i…
191 …c_sort type_alloc_table ?a1_445_366) (c_sort type_alloc_table ?a2_444_367)) (forall ((?q_443_368 c…
205 …c_sort ?v_0 ?u_global_497_403)) (?v_5 (c_sort ?v_0 ?t_global_496_404)) (?v_6 (c_sort ?v_0 ?s1PM_gl…
207 …c_sort ?v_0 ?p2_global_506_412)) (?v_5 (c_sort ?v_0 ?p1_global_505_413)) (?v_6 (c_sort ?v_0 ?anony…
[all …]
/dports/databases/mantis/mantisbt-2.25.2/
H A Dmanage_user_page.php103 $c_sort = 'username'; variable
105 $c_sort = addslashes( $f_sort ); variable
120 $t_manage_string = $c_hide_inactive.':'.$c_sort.':'.$c_dir.':'.$c_show_disabled;
185 $c_sort,
289 $t_query = 'SELECT * FROM {user} WHERE ' . $t_where . ' ORDER BY ' . $c_sort . ' ' . $c_dir;
323 <input type="hidden" name="sort" value="<?php echo $c_sort ?>" />
363 $c_dir, $c_sort, $c_hide_inactive, $f_filter, $f_search, $c_show_disabled );
364 print_sort_icon( $c_dir, $c_sort, $t_col );
441 …_search" . $t_hide_inactive_filter . $t_show_disabled_filter . "&amp;sort=$c_sort&amp;dir=$c_dir");
/dports/mail/neomutt/neomutt-20211029/index/
H A Dindex.c110 const short c_sort = cs_subset_sort(sub, "sort"); in config_sort() local
113 if (((c_sort & SORT_MASK) != SORT_THREADS) || (c_use_threads == UT_UNSET)) in config_sort()
126 (!(c_sort & SORT_REVERSE) == (c_use_threads == UT_REVERSE))) in config_sort()
135 sub, "use_threads", (c_sort & SORT_REVERSE) ? UT_REVERSE : UT_THREADS, NULL); in config_sort()
144 c_sort_aux ^= (c_sort & SORT_REVERSE); in config_sort()
158 const short c_sort = cs_subset_sort(sub, "sort"); in config_use_threads() local
161 if (((c_sort & SORT_MASK) != SORT_THREADS) || (c_use_threads == UT_UNSET)) in config_use_threads()
H A Ddlg_index.c296 short c_sort = cs_subset_sort(m->sub, "sort"); in ci_first_message() local
297 if ((c_sort & SORT_MASK) == SORT_THREADS) in ci_first_message()
298 c_sort = cs_subset_sort(m->sub, "sort_aux"); in ci_first_message()
303 reverse = c_sort & SORT_REVERSE; in ci_first_message()
306 reverse = c_sort & SORT_REVERSE; in ci_first_message()
309 reverse = !(c_sort & SORT_REVERSE); in ci_first_message()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/webrtc/rtc_base/
H A Dunique_id_generator_unittest.cc73 absl::c_sort(values); in TYPED_TEST()
74 absl::c_sort(known_values); in TYPED_TEST()
104 absl::c_sort(values); in TYPED_TEST()
105 absl::c_sort(known_values); in TYPED_TEST()
/dports/net-im/tg_owt/tg_owt-d578c76/src/rtc_base/
H A Dunique_id_generator_unittest.cc73 absl::c_sort(values); in TYPED_TEST()
74 absl::c_sort(known_values); in TYPED_TEST()
104 absl::c_sort(values); in TYPED_TEST()
105 absl::c_sort(known_values); in TYPED_TEST()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/webrtc/rtc_base/
H A Dunique_id_generator_unittest.cc73 absl::c_sort(values); in TYPED_TEST()
74 absl::c_sort(known_values); in TYPED_TEST()
104 absl::c_sort(values); in TYPED_TEST()
105 absl::c_sort(known_values); in TYPED_TEST()
/dports/www/firefox/firefox-99.0/third_party/libwebrtc/rtc_base/
H A Dunique_id_generator_unittest.cc73 absl::c_sort(values); in TYPED_TEST()
74 absl::c_sort(known_values); in TYPED_TEST()
104 absl::c_sort(values); in TYPED_TEST()
105 absl::c_sort(known_values); in TYPED_TEST()
/dports/mail/neomutt/neomutt-20211029/
H A Dmutt_thread.c54 short c_sort; ///< Last sort method member
96 if ((c_sort & SORT_MASK) != SORT_THREADS) in mutt_thread_style()
98 if (c_sort & SORT_REVERSE) in mutt_thread_style()
785 short c_sort = cs_subset_sort(NeoMutt->sub, "sort"); in mutt_sort_subthreads() local
787 if ((c_sort & SORT_MASK) == SORT_THREADS) in mutt_sort_subthreads()
789 assert(!(c_sort & SORT_REVERSE) != reverse); in mutt_sort_subthreads()
791 c_sort = c_sort_aux; in mutt_sort_subthreads()
793 c_sort ^= SORT_REVERSE; in mutt_sort_subthreads()
795 if (init || tctx->c_sort != c_sort || tctx->c_sort_aux != c_sort_aux) in mutt_sort_subthreads()
797 tctx->c_sort = c_sort; in mutt_sort_subthreads()
[all …]
H A Ddlg_postpone.c192 const short c_sort = cs_subset_sort(NeoMutt->sub, "sort"); in dlg_select_postponed_email() local
246 cs_subset_str_native_set(NeoMutt->sub, "sort", c_sort, NULL); in dlg_select_postponed_email()
H A Dscore.c69 const short c_sort = cs_subset_sort(NeoMutt->sub, "sort"); in mutt_check_rescore() local
71 if (((c_sort & SORT_MASK) == SORT_SCORE) || ((c_sort_aux & SORT_MASK) == SORT_SCORE)) in mutt_check_rescore()
H A Dstatus.c349 const short c_sort = cs_subset_sort(NeoMutt->sub, "sort"); in status_format_str() local
350 snprintf(buf, buflen, fmt, get_sort_str(tmp, sizeof(tmp), c_sort)); in status_format_str()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DAbstractLSP.hs62 mkPluginHandler STextDocumentCodeAction $ codeActionProvider @target (c_sort c) k
64 mkPluginHandler STextDocumentCodeLens $ codeLensProvider @target (c_sort c) k
75 { commandId = toCommandId $ c_sort c
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/
H A DAbstractLSP.hs62 mkPluginHandler STextDocumentCodeAction $ codeActionProvider @target (c_sort c) k
64 mkPluginHandler STextDocumentCodeLens $ codeLensProvider @target (c_sort c) k
75 { commandId = toCommandId $ c_sort c
/dports/databases/mantis/mantisbt-2.25.2/core/classes/
H A DBugFilterQuery.class.php1709 $c_sort = $t_sort_fields[$i];
1713 if( column_is_custom_field( $c_sort ) ) {
1714 $t_custom_field = column_get_custom_field_name( $c_sort );
1772 } else if( column_is_plugin_column( $c_sort ) ) {
1774 $t_column_object = $t_plugin_columns[$c_sort];
1791 $t_sort_col = $this->helper_sort_column_alias( $c_sort );
1796 if( 'due_date' == $c_sort && 'ASC' == $c_dir ) {
/dports/net-im/tg_owt/tg_owt-d578c76/src/modules/audio_coding/audio_network_adaptor/
H A Dframe_length_controller_v2.cc36 absl::c_sort(encoder_frame_lengths_ms_); in FrameLengthControllerV2()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/webrtc/modules/audio_coding/audio_network_adaptor/
H A Dframe_length_controller_v2.cc36 absl::c_sort(encoder_frame_lengths_ms_); in FrameLengthControllerV2()
/dports/www/firefox/firefox-99.0/third_party/libwebrtc/modules/audio_coding/audio_network_adaptor/
H A Dframe_length_controller_v2.cc36 absl::c_sort(encoder_frame_lengths_ms_); in FrameLengthControllerV2()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/webrtc/rtc_base/numerics/
H A Dsamples_stats_counter.cc50 absl::c_sort(samples_, [](const StatsSample& a, const StatsSample& b) { in GetPercentile()
/dports/net-im/tg_owt/tg_owt-d578c76/src/api/numerics/
H A Dsamples_stats_counter.cc51 absl::c_sort(samples_, [](const StatsSample& a, const StatsSample& b) { in GetPercentile()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/webrtc/api/numerics/
H A Dsamples_stats_counter.cc51 absl::c_sort(samples_, [](const StatsSample& a, const StatsSample& b) { in GetPercentile()

12345