| /dports/math/z3/z3-z3-4.8.13/src/model/ |
| H A D | datatype_factory.cpp | 101 sort * s_arg = constructor->get_domain(i); in get_almost_fresh_value() local
102 … if (!found_fresh_arg && (!m_util.is_datatype(s_arg) || !m_util.are_siblings(s, s_arg))) { in get_almost_fresh_value()
103 expr * new_arg = m_model.get_fresh_value(s_arg); in get_almost_fresh_value()
110 if (!found_fresh_arg && m_util.is_datatype(s_arg) && m_util.are_siblings(s, s_arg)) { in get_almost_fresh_value()
112 expr * last_fresh = get_last_fresh_value(s_arg); in get_almost_fresh_value()
116 expr * some_arg = m_model.get_some_value(s_arg); in get_almost_fresh_value()
169 sort * s_arg = constructor->get_domain(i); in get_fresh_value() local
171 !m_util.is_recursive_array(s_arg) && in get_fresh_value()
172 … (!m_util.is_recursive(s) || !m_util.is_datatype(s_arg) || !m_util.are_siblings(s, s_arg))) { in get_fresh_value()
180 expr * some_arg = m_model.get_some_value(s_arg); in get_fresh_value()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/model/ |
| H A D | datatype_factory.cpp | 98 sort * s_arg = constructor->get_domain(i); in get_almost_fresh_value() local
99 … if (!found_fresh_arg && (!m_util.is_datatype(s_arg) || !m_util.are_siblings(s, s_arg))) { in get_almost_fresh_value()
100 expr * new_arg = m_model.get_fresh_value(s_arg); in get_almost_fresh_value()
107 if (!found_fresh_arg && m_util.is_datatype(s_arg) && m_util.are_siblings(s, s_arg)) { in get_almost_fresh_value()
109 expr * last_fresh = get_last_fresh_value(s_arg); in get_almost_fresh_value()
113 expr * some_arg = m_model.get_some_value(s_arg); in get_almost_fresh_value()
164 sort * s_arg = constructor->get_domain(i); in get_fresh_value() local
165 …h_arg && (!m_util.is_recursive(s) || !m_util.is_datatype(s_arg) || !m_util.are_siblings(s, s_arg))… in get_fresh_value()
166 expr * new_arg = m_model.get_fresh_value(s_arg); in get_fresh_value()
173 expr * some_arg = m_model.get_some_value(s_arg); in get_fresh_value()
[all …]
|
| /dports/math/octave-forge-communications/communications-1.2.3/src/ |
| H A D | primpoly.cc | 133 std::string s_arg = args(1).string_value (); variable
135 if (s_arg == "nodisplay")
137 else if (s_arg == "min")
139 else if (s_arg == "max")
141 else if (s_arg == "all")
168 std::string s_arg = args(2).string_value (); variable
170 if (s_arg == "nodisplay") {
177 if (s_arg == "min")
179 else if (s_arg == "max")
181 else if (s_arg == "all")
|
| /dports/biology/biosig/biosig-2.3.3/biosig4c++/t240/ |
| H A D | asn_codecs_prim.c | 236 struct xdp_arg_s s_arg; in xer_decode_primitive() local
248 s_arg.type_descriptor = td; in xer_decode_primitive()
249 s_arg.struct_key = *sptr; in xer_decode_primitive()
250 s_arg.prim_body_decoder = prim_body_decoder; in xer_decode_primitive()
251 s_arg.decoded_something = 0; in xer_decode_primitive()
252 s_arg.want_more = 0; in xer_decode_primitive()
254 rc = xer_decode_general(opt_codec_ctx, &s_ctx, &s_arg, in xer_decode_primitive()
259 if(!s_arg.decoded_something) { in xer_decode_primitive()
268 if(prim_body_decoder(s_arg.type_descriptor, in xer_decode_primitive()
269 s_arg.struct_key, &ch, 0) in xer_decode_primitive()
[all …]
|
| /dports/net/fort/FORT-validator-1.5.3/src/asn1/asn1c/ |
| H A D | asn_codecs_prim.c | 258 struct xdp_arg_s s_arg; in xer_decode_primitive() local
270 s_arg.type_descriptor = td; in xer_decode_primitive()
271 s_arg.struct_key = *sptr; in xer_decode_primitive()
272 s_arg.prim_body_decoder = prim_body_decoder; in xer_decode_primitive()
273 s_arg.decoded_something = 0; in xer_decode_primitive()
274 s_arg.want_more = 0; in xer_decode_primitive()
276 rc = xer_decode_general(opt_codec_ctx, &s_ctx, &s_arg, in xer_decode_primitive()
281 if(!s_arg.decoded_something) { in xer_decode_primitive()
290 if(prim_body_decoder(s_arg.type_descriptor, in xer_decode_primitive()
291 s_arg.struct_key, &ch, 0) in xer_decode_primitive()
[all …]
|
| /dports/www/mod_auth_gssapi/mod_auth_gssapi-1.6.3/src/asn1c/ |
| H A D | asn_codecs_prim.c | 253 struct xdp_arg_s s_arg; in xer_decode_primitive() local
265 s_arg.type_descriptor = td; in xer_decode_primitive()
266 s_arg.struct_key = *sptr; in xer_decode_primitive()
267 s_arg.prim_body_decoder = prim_body_decoder; in xer_decode_primitive()
268 s_arg.decoded_something = 0; in xer_decode_primitive()
269 s_arg.want_more = 0; in xer_decode_primitive()
271 rc = xer_decode_general(opt_codec_ctx, &s_ctx, &s_arg, in xer_decode_primitive()
276 if(!s_arg.decoded_something) { in xer_decode_primitive()
285 if(prim_body_decoder(s_arg.type_descriptor, in xer_decode_primitive()
286 s_arg.struct_key, &ch, 0) in xer_decode_primitive()
[all …]
|
| /dports/lang/asn1c/asn1c-0.9.27/skeletons/ |
| H A D | asn_codecs_prim.c | 253 struct xdp_arg_s s_arg; in xer_decode_primitive() local
265 s_arg.type_descriptor = td; in xer_decode_primitive()
266 s_arg.struct_key = *sptr; in xer_decode_primitive()
267 s_arg.prim_body_decoder = prim_body_decoder; in xer_decode_primitive()
268 s_arg.decoded_something = 0; in xer_decode_primitive()
269 s_arg.want_more = 0; in xer_decode_primitive()
271 rc = xer_decode_general(opt_codec_ctx, &s_ctx, &s_arg, in xer_decode_primitive()
276 if(!s_arg.decoded_something) { in xer_decode_primitive()
285 if(prim_body_decoder(s_arg.type_descriptor, in xer_decode_primitive()
286 s_arg.struct_key, &ch, 0) in xer_decode_primitive()
[all …]
|
| /dports/graphics/libosmesa-gallium/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/lang/clover/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/libosmesa/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-gallium-xa/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-gallium-vdpau/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-libs/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-dri-gallium/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-gallium-va/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-dri-classic/mesa-20.2.3/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/graphics/mesa-dri/mesa-21.3.6/src/gallium/winsys/svga/drm/ |
| H A D | vmw_screen_ioctl.c | 158 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_create()
188 &s_arg, sizeof(s_arg)); in vmw_ioctl_surface_create()
216 } s_arg; in vmw_ioctl_gb_surface_create() local
229 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_create()
313 &s_arg.arg, sizeof(s_arg.arg)); in vmw_ioctl_gb_surface_create()
429 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
436 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
457 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
464 &s_arg, sizeof(s_arg)); in vmw_ioctl_gb_surface_ref()
502 memset(&s_arg, 0, sizeof(s_arg)); in vmw_ioctl_surface_destroy()
[all …]
|
| /dports/x11-drivers/xf86-video-vmware/xf86-video-vmware-13.3.0/vmwgfx/ |
| H A D | vmwgfx_drmi.c | 430 struct drm_vmw_stream_arg s_arg; in vmwgfx_claim_stream() local
434 &s_arg, sizeof(s_arg)); in vmwgfx_claim_stream()
439 *out = s_arg.stream_id; in vmwgfx_claim_stream()
446 struct drm_vmw_stream_arg s_arg; in vmwgfx_unref_stream() local
449 memset(&s_arg, 0, sizeof(s_arg)); in vmwgfx_unref_stream()
450 s_arg.stream_id = stream_id; in vmwgfx_unref_stream()
453 &s_arg, sizeof(s_arg)); in vmwgfx_unref_stream()
533 struct drm_vmw_surface_arg s_arg; in vmwgfx_prime_release_handle() local
535 memset(&s_arg, 0, sizeof(s_arg)); in vmwgfx_prime_release_handle()
536 s_arg.sid = handle; in vmwgfx_prime_release_handle()
[all …]
|
| /dports/math/octave/octave-6.4.0/libinterp/corefcn/ |
| H A D | rand.cc | 93 if (s_arg == "single") in do_rand()
98 else if (s_arg == "double") in do_rand()
151 std::string s_arg = tmp.string_value (); in do_rand() local
153 if (s_arg == "dist") in do_rand()
155 else if (s_arg == "seed") in do_rand()
157 else if (s_arg == "state" || s_arg == "twister") in do_rand()
159 else if (s_arg == "uniform") in do_rand()
161 else if (s_arg == "normal") in do_rand()
163 else if (s_arg == "exponential") in do_rand()
165 else if (s_arg == "poisson") in do_rand()
[all …]
|
| /dports/net/mpich2/mpich2-1.5/src/mpi/romio/adio/common/ |
| H A D | strfns.c | 291 char *s_arg; in ADIOI_Snprintf() local
293 s_arg = va_arg( list, char * ); in ADIOI_Snprintf()
294 while (size-- > 0 && s_arg && *s_arg) { in ADIOI_Snprintf()
295 *out_str++ = *s_arg++; in ADIOI_Snprintf()
|
| /dports/net/openmpi3/openmpi-3.1.6/ompi/mca/io/romio314/romio/adio/common/ |
| H A D | strfns.c | 291 char *s_arg; in ADIOI_Snprintf() local
293 s_arg = va_arg( list, char * ); in ADIOI_Snprintf()
294 while (size-- > 0 && s_arg && *s_arg) { in ADIOI_Snprintf()
295 *out_str++ = *s_arg++; in ADIOI_Snprintf()
|
| /dports/net/openmpi/openmpi-4.1.1/ompi/mca/io/romio321/romio/adio/common/ |
| H A D | strfns.c | 291 char *s_arg; in ADIOI_Snprintf() local
293 s_arg = va_arg( list, char * ); in ADIOI_Snprintf()
294 while (size-- > 0 && s_arg && *s_arg) { in ADIOI_Snprintf()
295 *out_str++ = *s_arg++; in ADIOI_Snprintf()
|
| /dports/math/octave/octave-6.4.0/liboctave/util/ |
| H A D | f77-fcn.c | 46 F77_FUNC (xstopx, XSTOPX) (F77_CONST_CHAR_ARG_DEF (s_arg, len) in F77_FUNC()
49 const char *s = F77_CHAR_ARG_USE (s_arg); in F77_FUNC()
50 size_t slen = F77_CHAR_ARG_LEN_USE (s_arg, len); in F77_FUNC()
|
| /dports/net/mpich2/mpich2-1.5/src/mpl/src/ |
| H A D | mplstr.c | 129 char *s_arg; in MPL_snprintf() local
131 s_arg = va_arg(list, char *); in MPL_snprintf()
132 while (size-- > 0 && s_arg && *s_arg) { in MPL_snprintf()
133 *out_str++ = *s_arg++; in MPL_snprintf()
|