Home
last modified time | relevance | path

Searched refs:u_nb (Results 1 – 14 of 14) sorted by relevance

/dports/www/domoticz/domoticz-2020.2/tinyxpath/
H A Dxpath_static.cpp66 unsigned u_nb; in XNp_xpath_node() local
69 u_nb = xp_proc . u_compute_xpath_node_set (); in XNp_xpath_node()
70 if (! u_nb) in XNp_xpath_node()
78 unsigned u_nb; in XAp_xpath_attribute() local
81 u_nb = xp_proc . u_compute_xpath_node_set (); in XAp_xpath_attribute()
82 if (! u_nb) in XAp_xpath_attribute()
122 unsigned u_nb; in o_xpath_node() local
125 u_nb = xp_proc . u_compute_xpath_node_set (); in o_xpath_node()
126 if (! u_nb) in o_xpath_node()
135 unsigned u_nb; in o_xpath_attribute() local
[all …]
H A Dxpath_stack.cpp193 unsigned u_nb) ///< Nb of items to skip. in erp_previous() argument
198 assert (u_nb <= u_size); in erp_previous()
200 for (u_prev = 0; u_prev < u_nb; u_prev++) in erp_previous()
224 void xpath_stack::v_pop (unsigned u_nb) in v_pop() argument
228 for (u_elem = 0; u_elem < u_nb; u_elem++) in v_pop()
H A Dxpath_stack.h63 void v_pop (unsigned u_nb = 1);
70 expression_result * erp_previous (unsigned u_nb);
H A Dmain.cpp266 unsigned u_nb; in main() local
269 u_nb = xp_proc . u_compute_xpath_node_set (); // retrieve number of nodes in main()
270 sprintf (ca_res, "%d", u_nb); in main()
271 o_ok = (u_nb == 6); in main()
/dports/games/opencity/opencity-0.0.6.5stable/src/tinyxpath/
H A Dxpath_static.cpp65 unsigned u_nb; in XNp_xpath_node() local
68 u_nb = xp_proc . u_compute_xpath_node_set (); in XNp_xpath_node()
69 if (! u_nb) in XNp_xpath_node()
77 unsigned u_nb; in XAp_xpath_attribute() local
80 u_nb = xp_proc . u_compute_xpath_node_set (); in XAp_xpath_attribute()
81 if (! u_nb) in XAp_xpath_attribute()
121 unsigned u_nb; in o_xpath_node() local
124 u_nb = xp_proc . u_compute_xpath_node_set (); in o_xpath_node()
125 if (! u_nb) in o_xpath_node()
134 unsigned u_nb; in o_xpath_attribute() local
[all …]
H A Dxpath_stack.cpp192 unsigned u_nb) ///< Nb of items to skip. in erp_previous() argument
197 assert (u_nb <= u_size); in erp_previous()
199 for (u_prev = 0; u_prev < u_nb; u_prev++) in erp_previous()
223 void xpath_stack::v_pop (unsigned u_nb) in v_pop() argument
227 for (u_elem = 0; u_elem < u_nb; u_elem++) in v_pop()
H A Dxpath_stack.h59 void v_pop (unsigned u_nb = 1);
66 expression_result * erp_previous (unsigned u_nb);
/dports/math/z3/z3-z3-4.8.13/src/tactic/bv/
H A Dbv_size_reduction_tactic.cpp240 unsigned u_nb = u.get_num_bits(); in run() local
241 unsigned i_nb = ((l_nb > u_nb) ? l_nb : u_nb) + 1; in run()
251 unsigned u_nb = u.get_num_bits(); in run() local
253 … tout << l << " <= " << v->get_decl()->get_name() << " <= " << u << " --> " << u_nb << " bits\n";); in run()
254 if (u_nb < v_nb) { in run()
255 new_const = m.mk_fresh_const(nullptr, m_util.mk_sort(u_nb)); in run()
256 … new_def = m_util.mk_concat(m_util.mk_numeral(numeral(0), v_nb - u_nb), new_const); in run()
319 unsigned u_nb = u.get_num_bits(); in run()
321 if (u_nb < v_nb) { in run()
322 … new_def = m_util.mk_concat(m_util.mk_numeral(numeral(0), v_nb - u_nb), new_const); in run()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/bv/
H A Dbv_size_reduction_tactic.cpp240 unsigned u_nb = u.get_num_bits(); in run() local
241 unsigned i_nb = ((l_nb > u_nb) ? l_nb : u_nb) + 1; in run()
251 unsigned u_nb = u.get_num_bits(); in run() local
253 … tout << l << " <= " << v->get_decl()->get_name() << " <= " << u << " --> " << u_nb << " bits\n";); in run()
254 if (u_nb < v_nb) { in run()
255 new_const = m.mk_fresh_const(nullptr, m_util.mk_sort(u_nb)); in run()
256 … new_def = m_util.mk_concat(m_util.mk_numeral(numeral(0), v_nb - u_nb), new_const); in run()
319 unsigned u_nb = u.get_num_bits(); in run()
321 if (u_nb < v_nb) { in run()
322 … new_def = m_util.mk_concat(m_util.mk_numeral(numeral(0), v_nb - u_nb), new_const); in run()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libvpx/source/libvpx/tools/3D-Reconstruction/MotionEST/
H A DHornSchunck.py183 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
184 v_nb = u_nb + 1
187 col_idx.append(u_nb)
195 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
196 v_nb = u_nb + 1
199 col_idx.append(u_nb)
/dports/multimedia/libvpx/libvpx-1.11.0/tools/3D-Reconstruction/MotionEST/
H A DHornSchunck.py183 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
184 v_nb = u_nb + 1
187 col_idx.append(u_nb)
195 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
196 v_nb = u_nb + 1
199 col_idx.append(u_nb)
/dports/net-im/tg_owt/tg_owt-d578c76/src/third_party/libvpx/source/libvpx/tools/3D-Reconstruction/MotionEST/
H A DHornSchunck.py183 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
184 v_nb = u_nb + 1
187 col_idx.append(u_nb)
195 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
196 v_nb = u_nb + 1
199 col_idx.append(u_nb)
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libvpx/source/libvpx/tools/3D-Reconstruction/MotionEST/
H A DHornSchunck.py183 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
184 v_nb = u_nb + 1
187 col_idx.append(u_nb)
195 u_nb = (i + r) * 2 * self.num_col + 2 * (j + c)
196 v_nb = u_nb + 1
199 col_idx.append(u_nb)
/dports/audio/cyanrip/cyanrip-0.7.0/src/
H A Dcyanrip_main.c1649 int u_nb = strtol(track_metadata_ptr[i], &end, 10); in main() local
1654 if (ctx->tracks[track_idx].number == u_nb) in main()
1659 u_nb, ctx->nb_tracks); in main()