| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | propagate_ineqs_tactic.cpp | 304 bool strict_l, strict_u, has_l, has_u; in restore_bounds() local
310 has_u = bp.upper(x, u, strict_u, ts); in restore_bounds()
311 if (!has_l && !has_u) in restore_bounds()
324 if (has_u && !upper_subsumed(p, u, strict_u)) { in restore_bounds()
379 bool has_l, has_u; in find_ite_bounds() local
428 has_u = true; in find_ite_bounds()
433 has_u = false; in find_ite_bounds()
450 if (has_u) { in find_ite_bounds()
458 has_u = false; in find_ite_bounds()
467 if (!has_l && !has_u) in find_ite_bounds()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
| H A D | propagate_ineqs_tactic.cpp | 304 bool strict_l, strict_u, has_l, has_u; in restore_bounds() local
310 has_u = bp.upper(x, u, strict_u, ts); in restore_bounds()
311 if (!has_l && !has_u) in restore_bounds()
324 if (has_u && !upper_subsumed(p, u, strict_u)) { in restore_bounds()
379 bool has_l, has_u; in find_ite_bounds() local
428 has_u = true; in find_ite_bounds()
433 has_u = false; in find_ite_bounds()
450 if (has_u) { in find_ite_bounds()
458 has_u = false; in find_ite_bounds()
467 if (!has_l && !has_u) in find_ite_bounds()
[all …]
|
| /dports/math/mfem/mfem-4.3/tests/unit/fem/ |
| H A D | test_datacollection.cpp | 73 bool has_u = dc.HasField("u"); variable
74 REQUIRE(has_u);
161 bool has_u = dc.HasField("u"); variable
162 REQUIRE(has_u);
|
| /dports/science/ALPSCore/ALPSCore-2.2.0/hdf5/test/ |
| H A D | hdf5_io_types.cpp | 224 cast_type_base(T const & v = T()): has_u(false), t(v) {} in cast_type_base()
231 has_u = true; in load()
236 bool has_u; member in cast_type_base
255 …U diff = (base_type::has_u ? base_type::u : alps::cast<U>(base_type::t)) - (v.has_u ? v.u : alps::… in compare()
256 …urn (diff > 0 ? diff : -diff) / ((base_type::has_u ? base_type::u : alps::cast<U>(base_type::t)) +… in compare()
259 …return (base_type::has_u ? base_type::u : alps::cast<U>(base_type::t)) == (v.has_u ? v.u : alps::c… in compare()
277 … if (base_type::has_u && !v.has_u) \
282 … else if (!base_type::has_u && v.has_u) \
307 if (base_type::has_u == v.has_u) in operator ==()
309 if (base_type::has_u) in operator ==()
|
| /dports/math/vtk8/VTK-8.2.0/ThirdParty/vtkm/vtk-m/vtkm/internal/ |
| H A D | ListTagDetail.h | 136 using has_u = ListContainsImpl<U, ListTag>;
137 using type = typename std::conditional<has_u::value, brigand::push_back<T, U>, T>::type;
|
| /dports/chinese/gcin-gtk3/gcin-2.9.0/ |
| H A D | tsa2d32.cpp | 215 gboolean has_l = FALSE, has_u = FALSE; in en_need_str() local
224 has_u = TRUE; in en_need_str()
227 return has_l && has_u; in en_need_str()
|
| /dports/chinese/gcin/gcin-2.9.0/ |
| H A D | tsa2d32.cpp | 215 gboolean has_l = FALSE, has_u = FALSE; in en_need_str() local
224 has_u = TRUE; in en_need_str()
227 return has_l && has_u; in en_need_str()
|
| /dports/chinese/gcin-qt5/gcin-2.9.0/ |
| H A D | tsa2d32.cpp | 215 gboolean has_l = FALSE, has_u = FALSE; in en_need_str() local
224 has_u = TRUE; in en_need_str()
227 return has_l && has_u; in en_need_str()
|
| /dports/devel/git-svn/git-2.34.1/builtin/ |
| H A D | stash.c | 116 int has_u; member
185 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
574 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
918 if (info.has_u) in show_stash()
922 if (info.has_u) in show_stash()
|
| /dports/devel/git-gui/git-2.34.1/builtin/ |
| H A D | stash.c | 116 int has_u; member
185 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
574 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
918 if (info.has_u) in show_stash()
922 if (info.has_u) in show_stash()
|
| /dports/devel/git-p4/git-2.34.1/builtin/ |
| H A D | stash.c | 116 int has_u; member
185 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
574 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
918 if (info.has_u) in show_stash()
922 if (info.has_u) in show_stash()
|
| /dports/devel/git/git-2.34.1/builtin/ |
| H A D | stash.c | 116 int has_u; member
185 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
574 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
918 if (info.has_u) in show_stash()
922 if (info.has_u) in show_stash()
|
| /dports/devel/git-cvs/git-2.34.1/builtin/ |
| H A D | stash.c | 116 int has_u; member
185 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
574 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
918 if (info.has_u) in show_stash()
922 if (info.has_u) in show_stash()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/angle/src/libANGLE/renderer/ |
| H A D | gen_angle_format_table.py | 243 has_u = "_U" in format_id
|
| /dports/devel/libisofs/libisofs-1.5.4/libisofs/ |
| H A D | aaip_0_2.c | 379 unsigned int has_u= 0, has_g= 0, has_o= 0, has_m= 0, is_trivial= 1; in aaip_encode_acl_text() local
418 if (has_u) { in aaip_encode_acl_text()
429 has_u++; in aaip_encode_acl_text()
574 needed= (!has_u) + (!has_g) + (!has_o) + !(is_trivial || has_m); in aaip_encode_acl_text()
583 if(!has_u) { in aaip_encode_acl_text()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/src/libANGLE/renderer/ |
| H A D | gen_angle_format_table.py | 243 has_u = "_U" in format_id
|
| /dports/graphics/libplacebo/libplacebo-4.157.0/src/shaders/ |
| H A D | av1.c | 602 bool has_u = data->num_points_uv[0] > 0 || data->chroma_scaling_from_luma; in pl_needs_av1_grain() local
609 if (channel == PL_CHANNEL_CB && has_u) in pl_needs_av1_grain()
|
| /dports/devel/cgit/cgit-1.2.3/git/builtin/ |
| H A D | stash.c | 113 int has_u; member
182 info->has_u = !get_oidf(&info->u_tree, "%s^3:", revision); in get_stash_info()
435 if (info->has_u && restore_untracked(&info->u_tree)) in do_apply_stash()
|
| /dports/science/py-pymatgen/pymatgen-2022.0.15/pymatgen/io/vasp/ |
| H A D | sets.py | 549 has_u = hubbard_u and sum(incar["LDAUU"]) > 0
550 if not has_u:
|