| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | int_branch.cpp | 25 int_branch::int_branch(int_solver& lia):lia(lia), lra(lia.lra) {} in int_branch() argument
35 lp_assert(lia.m_t.is_empty()); in create_branch_on_column()
38 if (lia.is_free(j)) { in create_branch_on_column()
39 lia.m_upper = lia.random() % 2; in create_branch_on_column()
40 lia.m_k = mpq(0); in create_branch_on_column()
43 lia.m_upper = lia.random() % 2; in create_branch_on_column()
44 lia.m_k = lia.m_upper? floor(lia.get_value(j)) : ceil(lia.get_value(j)); in create_branch_on_column()
48 lia.display_column(tout << "branching v" << j << " = " << lia.get_value(j) << "\n", j); in create_branch_on_column()
69 if (!lia.column_is_int_inf(j)) in find_inf_int_base_column()
90 if (!lia.column_is_int_inf(j) || !lia.is_boxed(j)) in find_inf_int_base_column()
[all …]
|
| H A D | gomory.cpp | 34 const int_solver& lia; member in lp::create_cut
46 bool is_int(unsigned j) const { return lia.column_is_int(j) || (lia.is_fixed(j) && in is_int()
322 if (lia.is_fixed(j)) { in cut()
360 lia(lia), in create_cut()
377 if (!lia.is_base(j) && (!lia.at_bound(j) || !is_zero(lia.get_value(j).y))) { in is_gomory_cut_target()
394 if (!lia.column_is_int_inf(j)) in find_basic_var()
399 IF_VERBOSE(20, lia.display_row_info(verbose_stream(), lia.row_of_basic_column(j))); in find_basic_var()
415 unsigned r = lia.row_of_basic_column(j); in operator ()()
419 lia.m_upper = false; in operator ()()
420 return cut(lia.m_t, lia.m_k, lia.m_ex, j, row); in operator ()()
[all …]
|
| H A D | int_cube.cpp | 25 int_cube::int_cube(int_solver& lia):lia(lia), lra(lia.lra) {} in int_cube() argument
28 lia.settings().stats().m_cube_calls++; in operator ()()
31 lia.display_column(tout, j); in operator ()()
53 lp_assert(lia.settings().get_cancel_flag() || lia.is_feasible()); in operator ()()
55 lia.settings().stats().m_cube_success++; in operator ()()
89 if (!lia.column_is_int(p.column())) in get_cube_delta_for_term()
107 if (lia.column_is_int(p.column())) in get_cube_delta_for_term()
|
| H A D | hnf_cutter.cpp | 18 hnf_cutter::hnf_cutter(int_solver& lia): in hnf_cutter() argument
19 lia(lia), in hnf_cutter()
20 lra(lia.lra), in hnf_cutter()
21 m_settings(lia.settings()), in hnf_cutter()
244 if (!lia.get_value(j).is_int()) in hnf_has_var_with_non_integral_value()
261 lia.settings().stats().m_hnf_cutter_calls++; in make_hnf_cut()
271 lia_move r = create_cut(lia.m_t, lia.m_k, lia.m_ex, lia.m_upper in make_hnf_cut()
280 tout << " <= " << lia.m_k << std::endl; in make_hnf_cut()
286 lia.settings().stats().m_hnf_cuts++; in make_hnf_cut()
287 lia.m_ex->clear(); in make_hnf_cut()
[all …]
|
| H A D | int_gcd_test.cpp | 55 … int_gcd_test::int_gcd_test(int_solver& lia): lia(lia), lra(lia.lra), m_next_gcd(0), m_delay(0) {} in int_gcd_test() argument
58 return lia.settings().int_run_gcd_test(); in should_apply()
62 lia.settings().stats().m_gcd_calls++; in operator ()()
63 TRACE("int_solver", tout << "gcd-test " << lia.settings().stats().m_gcd_calls << "\n";); in operator ()()
71 lia.settings().stats().m_gcd_conflicts++; in operator ()()
82 if (!lia.column_is_int(basic_var)) in gcd_test()
84 if (lia.get_value(basic_var).is_int()) in gcd_test()
115 if (!lia.column_is_int(basic_var)) in gcd_test_for_row()
177 !lia.get_value(basic_var).is_int() && in gcd_test_for_row()
255 lia.m_ex->push_back(lc); in add_to_explanation_from_fixed_or_boxed_column()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | int_branch.cpp | 25 int_branch::int_branch(int_solver& lia):lia(lia), lra(lia.lra) {} in int_branch() argument
35 lp_assert(lia.m_t.is_empty()); in create_branch_on_column()
38 if (lia.is_free(j)) { in create_branch_on_column()
39 lia.m_upper = lia.random() % 2; in create_branch_on_column()
40 lia.m_k = mpq(0); in create_branch_on_column()
43 lia.m_upper = lia.random() % 2; in create_branch_on_column()
44 lia.m_k = lia.m_upper? floor(lia.get_value(j)) : ceil(lia.get_value(j)); in create_branch_on_column()
48 lia.display_column(tout << "branching v" << j << " = " << lia.get_value(j) << "\n", j); in create_branch_on_column()
69 if (!lia.column_is_int_inf(j)) in find_inf_int_base_column()
90 if (!lia.column_is_int_inf(j) || !lia.is_boxed(j)) in find_inf_int_base_column()
[all …]
|
| H A D | gomory.cpp | 34 const int_solver& lia; member in lp::create_cut
46 bool is_int(unsigned j) const { return lia.column_is_int(j) || (lia.is_fixed(j) && in is_int()
322 if (lia.is_fixed(j)) { in cut()
360 lia(lia), in create_cut()
377 if (!lia.is_base(j) && (!lia.at_bound(j) || !is_zero(lia.get_value(j).y))) { in is_gomory_cut_target()
394 if (!lia.column_is_int_inf(j)) in find_basic_var()
399 IF_VERBOSE(20, lia.display_row_info(verbose_stream(), lia.row_of_basic_column(j))); in find_basic_var()
415 unsigned r = lia.row_of_basic_column(j); in operator ()()
419 lia.m_upper = false; in operator ()()
420 return cut(lia.m_t, lia.m_k, lia.m_ex, j, row); in operator ()()
[all …]
|
| H A D | int_cube.cpp | 25 int_cube::int_cube(int_solver& lia):lia(lia), lra(lia.lra) {} in int_cube() argument
28 lia.settings().stats().m_cube_calls++; in operator ()()
31 lia.display_column(tout, j); in operator ()()
53 lp_assert(lia.settings().get_cancel_flag() || lia.is_feasible()); in operator ()()
55 lia.settings().stats().m_cube_success++; in operator ()()
89 if (!lia.column_is_int(p.column())) in get_cube_delta_for_term()
107 if (lia.column_is_int(p.column())) in get_cube_delta_for_term()
|
| H A D | hnf_cutter.cpp | 18 hnf_cutter::hnf_cutter(int_solver& lia): in hnf_cutter() argument
19 lia(lia), in hnf_cutter()
20 lra(lia.lra), in hnf_cutter()
21 m_settings(lia.settings()), in hnf_cutter()
244 if (!lia.get_value(j).is_int()) in hnf_has_var_with_non_integral_value()
261 lia.settings().stats().m_hnf_cutter_calls++; in make_hnf_cut()
271 lia_move r = create_cut(lia.m_t, lia.m_k, lia.m_ex, lia.m_upper in make_hnf_cut()
280 tout << " <= " << lia.m_k << std::endl; in make_hnf_cut()
286 lia.settings().stats().m_hnf_cuts++; in make_hnf_cut()
287 lia.m_ex->clear(); in make_hnf_cut()
[all …]
|
| H A D | int_gcd_test.cpp | 53 … int_gcd_test::int_gcd_test(int_solver& lia): lia(lia), lra(lia.lra), m_next_gcd(0), m_delay(0) {} in int_gcd_test() argument
57 if (!lia.settings().int_run_gcd_test()) in should_apply()
63 lia.settings().stats().m_gcd_calls++; in operator ()()
64 TRACE("int_solver", tout << "gcd-test " << lia.settings().stats().m_gcd_calls << "\n";); in operator ()()
72 lia.settings().stats().m_gcd_conflicts++; in operator ()()
98 if (!lia.column_is_int(basic_var) || lia.get_value(basic_var).is_int()) in gcd_test_for_row()
147 TRACE("gcd_test", tout << "row failed the GCD test:\n"; lia.display_row_info(tout, i);); in gcd_test_for_row()
233 lia.m_ex->push_back(lc); in add_to_explanation_from_fixed_or_boxed_column()
234 lia.m_ex->push_back(uc); in add_to_explanation_from_fixed_or_boxed_column()
|
| /dports/net/nss_ldap/nss_ldap-265/ |
| H A D | ldap-grp.c | 676 lia->grplist = realloc (lia->grplist, lia->listlen + i + 2); in do_parse_initgroups()
682 memcpy (lia->grplist + lia->listlen, values[0], i); in do_parse_initgroups()
683 lia->grplist[lia->listlen + i] = ','; in do_parse_initgroups()
704 if (lia->gbm->numgids == lia->gbm->maxgids) in do_parse_initgroups()
714 lia->gbm->gid_array[lia->gbm->numgids++] = (gid_t) gid; in do_parse_initgroups()
724 if (*(lia->start) >= lia->limit) in do_parse_initgroups()
733 *(lia->groups) = (gid_t *) realloc(*(lia->groups), in do_parse_initgroups()
741 if (*(lia->start) == *(lia->size)) in do_parse_initgroups()
754 assert(*(lia->start) < *(lia->size)); in do_parse_initgroups()
767 (*(lia->groups))[*(lia->start)] = gid; in do_parse_initgroups()
[all …]
|
| /dports/textproc/p5-Syntax-Highlight-Engine-Kate/Syntax-Highlight-Engine-Kate-0.14/samples/ |
| H A D | highlight.m3u | 2 #EXTINF:189,Am�lia Rodrigues - Who Will Buy
3 01. Am�lia Rodrigues - Who Will Buy.mp3
4 #EXTINF:210,Am�lia Rodrigues - Long Ago And Far Away
5 02. Am�lia Rodrigues - Long Ago And Far Away.mp3
7 03. Am�lia Rodrigues - All The Things You Are.mp3
8 #EXTINF:174,Am�lia Rodrigues - Blue Moon
9 04. Am�lia Rodrigues - Blue Moon.mp3
10 #EXTINF:200,Am�lia Rodrigues - Summertime
11 05. Am�lia Rodrigues - Summertime.mp3
12 #EXTINF:179,Am�lia Rodrigues - The Nearness Of You
[all …]
|
| /dports/devel/p5-DateTime-Locale/DateTime-Locale-1.33/lib/DateTime/Locale/ |
| H A D | ee_TG.pod | 191 kɔta etɔ̃lia
213 kɔta etɔ̃lia
408 =head3 GyMMMEd (E, MMM d 'lia' y G)
414 =head3 GyMMMd (MMM d 'lia', y G)
474 =head3 MMMEd (E, MMM d 'lia')
480 =head3 MMMMEd (E, MMMM d 'lia')
498 =head3 MMMMd (MMMM d 'lia')
504 =head3 MMMd (MMM d 'lia')
506 2008-02-05T18:30:30 = dzd 5 lia
507 1995-12-22T09:05:02 = dzm 22 lia
[all …]
|
| H A D | ee.pod | 191 kɔta etɔ̃lia
213 kɔta etɔ̃lia
408 =head3 GyMMMEd (E, MMM d 'lia' y G)
414 =head3 GyMMMd (MMM d 'lia', y G)
474 =head3 MMMEd (E, MMM d 'lia')
480 =head3 MMMMEd (E, MMMM d 'lia')
498 =head3 MMMMd (MMMM d 'lia')
504 =head3 MMMd (MMM d 'lia')
506 2008-02-05T18:30:30 = dzd 5 lia
507 1995-12-22T09:05:02 = dzm 22 lia
[all …]
|
| H A D | ee_GH.pod | 191 kɔta etɔ̃lia
213 kɔta etɔ̃lia
408 =head3 GyMMMEd (E, MMM d 'lia' y G)
414 =head3 GyMMMd (MMM d 'lia', y G)
474 =head3 MMMEd (E, MMM d 'lia')
480 =head3 MMMMEd (E, MMMM d 'lia')
498 =head3 MMMMd (MMMM d 'lia')
504 =head3 MMMd (MMM d 'lia')
506 2008-02-05T18:30:30 = dzd 5 lia
507 1995-12-22T09:05:02 = dzm 22 lia
[all …]
|
| /dports/net/radcli/radcli-1.3.0/lib/ |
| H A D | ip_util.c | 124 int rc_get_srcaddr(struct sockaddr *lia, const struct sockaddr *ria) in rc_get_srcaddr() argument
144 if (getsockname(temp_sock, lia, &namelen) != 0) { in rc_get_srcaddr()
164 void rc_own_bind_addr(rc_handle *rh, struct sockaddr_storage *lia) in rc_own_bind_addr() argument
170 memcpy(lia, &rh->own_bind_addr, SS_LEN(&rh->own_bind_addr)); in rc_own_bind_addr()
174 memset(lia, 0, sizeof(*lia)); in rc_own_bind_addr()
176 ((struct sockaddr_in*)lia)->sin_family = AF_INET; in rc_own_bind_addr()
177 ((struct sockaddr_in*)lia)->sin_addr.s_addr = INADDR_ANY; in rc_own_bind_addr()
182 ((struct sockaddr_in*)lia)->sin_family = AF_INET; in rc_own_bind_addr()
183 ((struct sockaddr_in*)lia)->sin_addr.s_addr = INADDR_ANY; in rc_own_bind_addr()
187 memcpy(lia, info->ai_addr, info->ai_addrlen); in rc_own_bind_addr()
|
| /dports/science/siesta/siesta-4.1.5/Src/ |
| H A D | atom_graph.F90 | 107 integer :: lia, ia local
220 do lia = 1 , na_l
223 n_col(lia) = 0
280 n_col(lia) = n_col(lia) + 1
290 do lia = 2 , na_l
291 l_ptr(lia) = l_ptr(lia-1) + n_col(lia-1)
320 do lia = 1 , na_l
323 n_col(lia) = 0
382 n_col(lia) = n_col(lia) + 1
383 ind = l_ptr(lia) + n_col(lia)
[all …]
|
| /dports/editors/calligra/calligra-3.2.1/plugins/stencilsdocker/stencils/Flags/ |
| H A D | australia.desktop | 5 Name[ca]=Austràlia
6 Name[ca@valencia]=Austràlia
20 Name[hu]=Ausztrália
32 Name[pt]=Austrália
33 Name[pt_BR]=Austrália
35 Name[se]=Austrália
36 Name[sk]=Austrália
|
| H A D | somalia.desktop | 5 Name[ca]=Somàlia
6 Name[ca@valencia]=Somàlia
20 Name[hu]=Szomália
32 Name[pt]=Somália
33 Name[pt_BR]=Somália
35 Name[se]=Somália
|
| H A D | italy.desktop | 5 Name[ca]=Itàlia
6 Name[ca@valencia]=Itàlia
32 Name[pt]=Itália
33 Name[pt_BR]=Itália
35 Name[se]=Itália
|
| H A D | mongolia.desktop | 5 Name[ca]=Mongòlia
6 Name[ca@valencia]=Mongòlia
20 Name[hu]=Mongólia
32 Name[pt]=Mongólia
33 Name[pt_BR]=Mongólia
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/external/openglcts/modules/glesext/draw_buffers_indexed/ |
| H A D | esextcDrawBuffersIndexedBase.cpp | 137 glw::GLint64 lia[4]; in CheckBuffer() local
141 gl.getInteger64i_v(GL_COLOR_WRITEMASK, idx, lia); in CheckBuffer()
143 if ((ia[0] != state[idx].mask_r) || (static_cast<int>(lia[0]) != state[idx].mask_r) || in CheckBuffer()
146 (ia[2] != state[idx].mask_b) || (static_cast<int>(lia[2]) != state[idx].mask_b) || in CheckBuffer()
155 << "int64: " << lia[0] << ", " << lia[1] << ", " << lia[2] << ", " << lia[3] << "\n" in CheckBuffer()
171 gl.getInteger64v(GL_COLOR_WRITEMASK, lia); in CheckBuffer()
174 if ((ia[0] != state[idx].mask_r) || (static_cast<int>(lia[0]) != state[idx].mask_r) || in CheckBuffer()
175 (ia[1] != state[idx].mask_g) || (static_cast<int>(lia[1]) != state[idx].mask_g) || in CheckBuffer()
176 (ia[2] != state[idx].mask_b) || (static_cast<int>(lia[2]) != state[idx].mask_b) || in CheckBuffer()
177 (ia[3] != state[idx].mask_a) || (static_cast<int>(lia[3]) != state[idx].mask_a) || in CheckBuffer()
[all …]
|
| /dports/net/kamailio/kamailio-5.4.5/src/modules/ims_icscf/ |
| H A D | cxdx_lir.c | 81 void async_cdp_lir_callback(int is_timeout, void *param, AAAMessage *lia, long elapsed_msecs) { in async_cdp_lir_callback() argument
110 if (!lia) { in async_cdp_lir_callback()
116 server_name = cxdx_get_server_name(lia); in async_cdp_lir_callback()
118 cxdx_get_capabilities(lia, &m_capab, &m_capab_cnt, &o_capab, in async_cdp_lir_callback()
122 cxdx_get_result_code(lia, &rc); in async_cdp_lir_callback()
123 cxdx_get_experimental_result_code(lia, &experimental_rc); in async_cdp_lir_callback()
214 if (lia) cdpb.AAAFreeMessage(&lia); in async_cdp_lir_callback()
223 if (lia) cdpb.AAAFreeMessage(&lia); in async_cdp_lir_callback()
|
| /dports/x11/kf5-kdelibs4support/kdelibs4support-5.89.0/src/l10n/so/ |
| H A D | country.desktop | 7 Name[ca]=Somàlia
8 Name[ca@valencia]=Somàlia
22 Name[hu]=Szomália
38 Name[pt]=Somália
39 Name[pt_BR]=Somália
41 Name[se]=Somália
|
| /dports/x11/kf5-kdelibs4support/kdelibs4support-5.89.0/src/l10n/au/ |
| H A D | country.desktop | 7 Name[ca]=Austràlia
8 Name[ca@valencia]=Austràlia
22 Name[hu]=Ausztrália
38 Name[pt]=Austrália
39 Name[pt_BR]=Austrália
41 Name[se]=Austrália
42 Name[sk]=Austrália
|