| /dports/math/z3/z3-z3-4.8.13/src/math/simplex/ |
| H A D | model_based_opt.h | 56 rational m_mod; // value the term divide member
89 unsigned_vector m_lub, m_glb, m_mod; variable
|
| H A D | model_based_opt.cpp | 202 PASSERT(index == 0 || r.m_type != t_mod || (mod(r.m_value, r.m_mod).is_zero())); in invariant()
825 out << r.m_type << " " << r.m_mod << " = 0; value: " << r.m_value << "\n"; in display()
870 r.m_mod = m; in set_row()
896 set_row(dst, r.m_vars, r.m_coeff, r.m_mod, r.m_type); in copy_row()
954 unsigned_vector& mod_rows = m_mod; in project()
1117 D = lcm(D, m_rows[idx].m_mod); in solve_mod()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/simplex/ |
| H A D | model_based_opt.h | 55 rational m_mod; // value the term divide member
88 unsigned_vector m_lub, m_glb, m_mod; variable
|
| H A D | model_based_opt.cpp | 185 PASSERT(index == 0 || r.m_type != t_mod || (mod(r.m_value, r.m_mod).is_zero())); in invariant()
793 out << r.m_type << " " << r.m_mod << " = 0; value: " << r.m_value << "\n"; in display()
838 r.m_mod = m; in set_row()
864 set_row(dst, r.m_vars, r.m_coeff, r.m_mod, r.m_type); in copy_row()
922 unsigned_vector& mod_rows = m_mod; in project()
1086 D = lcm(D, m_rows[idx].m_mod); in solve_mod()
|
| /dports/www/interchange/interchange-5.6.3/code/UserTag/ |
| H A D | usps_query.tag | 15 my ($rate, $resp, $xml, $mailtype, @intl, $m_rep, $m_mod);
89 $m_mod = $weight % $modulo;
201 if ($m_mod) {
202 $weight = $m_mod; undef $m_mod;
|
| /dports/devel/eris/eris-1.3.23/Eris/ |
| H A D | TerrainModTranslator.h | 98 Mercator::TerrainMod * m_mod; variable
|
| /dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/ctjhai/ |
| H A D | minimum-weight-gf3.c | 78 int mindist_gf3(MATRIX G, mod_t m_mod, int lower_bound) { in mindist_gf3() argument
125 info.weight_constraint = m_mod; in mindist_gf3()
126 if (m_mod == C_0MOD3) in mindist_gf3()
192 int cyclic_mindist_gf3(MATRIX G, mod_t m_mod, int lower_bound) { in cyclic_mindist_gf3() argument
235 info.weight_constraint = m_mod; in cyclic_mindist_gf3()
236 if (m_mod == C_0MOD3) in cyclic_mindist_gf3()
|
| /dports/lang/angelscript/sdk/add_on/serializer/ |
| H A D | serializer.h | 176 asIScriptModule *m_mod; variable
|
| /dports/games/moon-buggy/moon-buggy-1.0.51/ |
| H A D | keyboard.c | 36 m_mod (int x, int y) in m_mod() function
45 int slot = m_mod (key_code, HASH_SIZE); in locate()
|
| /dports/emulators/mess/mame-mame0226/src/devices/cpu/ns32000/ |
| H A D | ns32000.h | 136 u16 m_mod; // module variable
|
| /dports/emulators/mame/mame-mame0226/src/devices/cpu/ns32000/ |
| H A D | ns32000.h | 136 u16 m_mod; // module variable
|
| /dports/multimedia/transcode/transcode-1.1.7/src/ |
| H A D | encoder.c | 563 const char *a_mod, const char *v_mod, const char *m_mod) in tc_export_setup() argument
589 mod_name = (m_mod == NULL) ?TC_DEFAULT_EXPORT_MPLEX :m_mod; in tc_export_setup()
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/cmake/std/unittests/ |
| H A D | TestPullRequestLinuxDriverTest.py | 463 side_effect=add_CC) as m_mod:
472 m_mod.assert_has_calls(expected_list, any_order=True)
|
| /dports/audio/supercollider/SuperCollider-3.11.0-Source/server/plugins/ |
| H A D | LFUGens.cpp | 122 float m_dif, m_mod; member
1941 float mod = unit->m_mod; in ModDif_next_kk()
1948 unit->m_mod = mod; in ModDif_next_kk()
1970 float mod = unit->m_mod; in ModDif_next_ak()
1975 unit->m_mod = mod; in ModDif_next_ak()
2009 unit->m_mod = ZIN0(2); in ModDif_Ctor()
|
| /dports/x11/kf5-kwindowsystem/kwindowsystem-5.89.0/src/platforms/xcb/ |
| H A D | kkeyserver.cpp | 34 int m_mod; member
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_arith.cpp | 442 t = a.mk_eq(a.mk_mod(t, a.mk_numeral(r.m_mod, true)), a.mk_int(0)); in rows2fmls()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_arith.cpp | 424 t = a.mk_eq(a.mk_mod(t, a.mk_numeral(r.m_mod, true)), a.mk_int(0)); in rows2fmls()
|