Home
last modified time | relevance | path

Searched +refs:y +refs:var (Results 1 – 25 of 59073) sorted by relevance

12345678910>>...2363

/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear_old/linear/
H A Dredefinitions.mzn16 predicate bool_eq(var bool: x, var bool: y) =
26 % predicate float_lt(var float: x, var float: y) = x + 1e-06 <= y;
160 predicate int_le_reif(var int: x, var int: y, var bool: b) =
171 predicate int_ne(var int: x, var int: y) =
284 predicate int_min(var int: x, var int: y, var int: z) =
294 predicate int_max(var int: x, var int: y, var int: z) =
337 predicate int_div(var int: x, var int: y, var int: q) =
338 let { var 0..max(abs(lb(y)), abs(ub(y))) - 1: r }
343 predicate int_mod(var int: x, var int: y, var int: r) =
366 let { var 1.. max(abs(lb(y)), abs(ub(y))): w = abs(y) }
[all …]
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear_old/
H A Dredefinitions.mzn16 predicate bool_eq(var bool: x, var bool: y) =
26 % predicate float_lt(var float: x, var float: y) = x + 1e-06 <= y;
160 predicate int_le_reif(var int: x, var int: y, var bool: b) =
171 predicate int_ne(var int: x, var int: y) =
284 predicate int_min(var int: x, var int: y, var int: z) =
294 predicate int_max(var int: x, var int: y, var int: z) =
337 predicate int_div(var int: x, var int: y, var int: q) =
338 let { var 0..max(abs(lb(y)), abs(ub(y))) - 1: r }
343 predicate int_mod(var int: x, var int: y, var int: r) =
366 let { var 1.. max(abs(lb(y)), abs(ub(y))): w = abs(y) }
[all …]
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/linear/
H A Dredefs_lin_halfreifs.mzn16 predicate aux_float_eq_if_1(var float: x, var float: y, var int: p) =
32 predicate aux_int_eq_if_1(var int: x, var int: y, var int: p) =
67 predicate aux_int_ne_if_1(var int: x, var int: y, var int: p) =
147 predicate aux_int_le_if_0(var int: x, var int: y, var int: p) =
150 predicate aux_int_ge_if_0(var int: x, var int: y, var int: p) =
153 predicate aux_int_le_if_1(var int: x, var int: y, var int: p) =
156 predicate aux_int_ge_if_1(var int: x, var int: y, var int: p) =
159 predicate aux_int_lt_if_0(var int: x, var int: y, var int: p) =
162 predicate aux_int_gt_if_0(var int: x, var int: y, var int: p) =
165 predicate aux_int_lt_if_1(var int: x, var int: y, var int: p) =
[all …]
H A Dredefs_lin_reifs.mzn21 predicate int_le_reif(var int: x, var int: y, var bool: b) =
35 predicate int_le_reif(int: x, var int: y, var bool: b) =
79 predicate int_le_reif__NOPOST(var int: x, var int: y, var bool: b) =
85 predicate int_lt_reif(var int: x, var int: y, var bool: b) =
95 predicate int_ne(var int: x, var int: y) =
134 predicate int_eq_reif(var int: x, var int: y, var bool: b) =
186 predicate int_ne_reif(var int: x, var int: y, var bool: b) =
290 predicate float_le_reif(var float: x, var float: y, var bool: b) =
309 predicate float_lt_reif(var float: x, var float: y, var bool: b) =
339 predicate float_ne(var float: x, var float: y) =
[all …]
/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/
H A Drogo3.fzn2 predicate count(array [int] of var int: x, var int: y, var int: c);
5 predicate maximum_int(var int: m, array [int] of var int: x);
6 predicate minimum_int(var int: m, array [int] of var int: x);
8 predicate sort(array [int] of var int: x, array [int] of var int: y);
222 array [1..12] of var 1..9: y :: output_array([1..12]);
365 constraint int_lin_le([9, -9, 1, -1], [x[1], x[2], y[1], y[2]], -1);
366 constraint int_lin_le([9, -9, 1, -1], [x[1], x[3], y[1], y[3]], -1);
367 constraint int_lin_le([9, -9, 1, -1], [x[1], x[4], y[1], y[4]], -1);
368 constraint int_lin_le([9, -9, 1, -1], [x[1], x[5], y[1], y[5]], -1);
369 constraint int_lin_le([9, -9, 1, -1], [x[1], x[6], y[1], y[6]], -1);
[all …]
H A Dnine_to_one_equals_100.fzn2 predicate count(array [int] of var int: x, var int: y, var int: c);
8 predicate sort(array [int] of var int: x, array [int] of var int: y);
551 array [1..9] of var 0..999: y :: output_array([1..9]);
740 constraint int_eq_reif(y[1], 0, BOOL____00012) :: defines_var(BOOL____00012);
741 constraint int_eq_reif(y[1], 1, BOOL____00014) :: defines_var(BOOL____00014);
742 constraint int_eq_reif(y[1], 2, BOOL____00025) :: defines_var(BOOL____00025);
743 constraint int_eq_reif(y[1], 3, BOOL____00029) :: defines_var(BOOL____00029);
744 constraint int_eq_reif(y[1], 4, BOOL____00033) :: defines_var(BOOL____00033);
745 constraint int_eq_reif(y[1], 5, BOOL____00037) :: defines_var(BOOL____00037);
746 constraint int_eq_reif(y[1], 6, BOOL____00041) :: defines_var(BOOL____00041);
[all …]
H A Dkaprekars_constant2.fzn2 predicate count(array [int] of var int: x, var int: y, var int: c);
5 predicate maximum_int(var int: m, array [int] of var int: x);
6 predicate minimum_int(var int: m, array [int] of var int: x);
8 predicate sort(array [int] of var int: x, array [int] of var int: y);
19 array [1..4] of var 0..9: y :: output_array([1..4]);
41 constraint int_eq_reif(y[2], y[1], BOOL____00001) :: defines_var(BOOL____00001);
44 constraint int_le(y[2], y[1]);
45 constraint int_le(y[3], y[2]);
46 constraint int_le(y[4], y[3]);
48 constraint int_lin_eq([-1, 1000, 100, 10, 1], [y_num, y[1], y[2], y[3], y[4]], 0);
[all …]
H A Dcommon.fzn2 predicate count(array [int] of var int: x, var int: y, var int: c);
174 array [1..6] of var 1..9: y :: output_array([1..6]);
242 constraint int_eq(1, y[2]);
243 constraint int_eq(2, y[1]);
245 constraint int_eq(6, y[5]);
247 constraint int_eq(9, y[3]);
248 constraint int_eq(9, y[4]);
249 constraint int_eq(9, y[6]);
346 constraint set_in(y[1], y_set____00002);
347 constraint set_in(y[2], y_set____00002);
[all …]
H A Dchange_pair.fzn39 array [1..10] of var 1..8: y :: output_array([1..10]);
68 constraint int_eq(3, y[7]);
79 constraint int_lt_reif(y[2], y[1], BOOL____00002) :: defines_var(BOOL____00002);
80 constraint int_lt_reif(y[3], y[2], BOOL____00006) :: defines_var(BOOL____00006);
81 constraint int_lt_reif(y[4], y[3], BOOL____00010) :: defines_var(BOOL____00010);
82 constraint int_lt_reif(y[5], y[4], BOOL____00014) :: defines_var(BOOL____00014);
83 constraint int_lt_reif(y[6], y[5], BOOL____00018) :: defines_var(BOOL____00018);
84 constraint int_lt_reif(y[7], y[6], BOOL____00022) :: defines_var(BOOL____00022);
85 constraint int_lt_reif(y[8], y[7], BOOL____00026) :: defines_var(BOOL____00026);
86 constraint int_lt_reif(y[9], y[8], BOOL____00030) :: defines_var(BOOL____00030);
[all …]
/dports/math/cln/cln-1.3.6/src/polynomial/elem/
H A Dcl_UP_GF2.h22 var const cl_heap_GV_I_bits1 * yv = (const cl_heap_GV_I_bits1 *) y.heappointer; in gf2_equal()
39 var const cl_heap_GV_I_bits1 * yv = (const cl_heap_GV_I_bits1 *) y.heappointer; in gf2_plus()
658 var uint32 hi = 0; in gf2_mul32()
659 var uint32 lo = 0; in gf2_mul32()
756 var uint32 hi = 0; in gf2_mul32_()
810 var uint64 lo = gf2_mul32_(x,y); in gf2_mul_uintD()
811 var uint64 hi = gf2_mul32_(x>>32,y>>32); in gf2_mul_uintD()
812 var uint64 mid = gf2_mul32_(x^(x>>32),y^(y>>32)); in gf2_mul_uintD()
824 var const cl_heap_GV_I_bits1 * yv = (const cl_heap_GV_I_bits1 *) y.heappointer; in gf2_mul()
845 var uintD rwhi in gf2_mul()
[all …]
/dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/stdlib/
H A Dstdlib_compare.mzn10 function var bool: '<'(var $T: x,var $T: y);
13 function var bool: '<'(var opt int: x, var opt int: y) = absent(x) \/ absent(y) \/ deopt(x) < deopt…
19 function var bool: '<'(var opt float: x, var opt float: y) = absent(x) \/ absent(y) \/ deopt(x) < d…
27 function var bool: '>'(var $T: x,var $T: y);
30 function var bool: '>'(var opt int: x, var opt int: y) = absent(x) \/ absent(y) \/ deopt(x) > deopt…
44 function var bool: '<='(var $T: x, var $T: y);
47 function var bool: '<='(var opt int: x, var opt int: y) = absent(x) \/ absent(y) \/ deopt(x) <= deo…
61 function var bool: '>='(var $T: x,var $T: y);
81 function var bool: '='(var $T: x,var $T: y);
83 function var bool: '='(var opt $T: x,var opt $T: y);
[all …]
H A Dstdlib_math.mzn10 function var int: '+'(var int: x, var int: y);
14 function var float: '+'(var float: x,var float: y);
31 function var int: '-'(var int: x, var int: y);
35 function var float: '-'(var float: x,var float: y);
65 function var int: '*'(var int: x, var int: y);
83 function var int: '^'(var int: x, var int: y);
87 function var float: '*'(var float: x,var float: y);
91 function var float: '^'(var float: x,var float: y);
105 function var int: 'div'(var int: x,var int: y) =
129 function var int: 'mod'(var int: x,var int: y) =
[all …]
H A Dstdlib_opt.mzn62 let { var bool: y } in y;
77 function var bool: '~='(var opt bool: x, var opt bool: y) ::promise_total =
121 let { var dom(x): y } in y;
137 function var opt int: '~+'(var opt int: x, var opt int: y) ::promise_total =
148 function var opt int: '~-'(var opt int: x, var opt int: y) ::promise_total =
159 function var opt int: '~*'(var opt int: x, var opt int: y) ::promise_total =
165 function var bool: '~='(var opt int: x, var opt int: y) ::promise_total =
222 let { var lb(x)..ub(x): y } in y;
237 function var opt float: '~+'(var opt float: x, var opt float: y) ::promise_total =
248 function var opt float: '~-'(var opt float: x, var opt float: y) ::promise_total =
[all …]
/dports/math/cln/cln-1.3.6/src/base/low/
H A Dcl_low_div.cc23 var uint16 q = floor(x,(uint32)y); in divu_3216_1616_()
96 var uint32 q; in divu_3232_3232_()
127 while ((sint32)y >= 0) { y = y<<1; s++; } in divu_6432_3232_()
153 { var uint16 y1_1 = high16(y)+1; // y1+1 in divu_6432_3232_()
241 { var uint32 q1; in divu_6464_6464_()
242 var uint32 q0; in divu_6464_6464_()
243 var uint32 r1; in divu_6464_6464_()
250 var uint64 y1 = y; // y1 := y in divu_6464_6464_()
251 var uint32 q; in divu_6464_6464_()
298 while ((sint64)y >= 0) { y = y<<1; s++; } in divu_12864_6464_()
[all …]
/dports/math/cln/cln-1.3.6/src/base/
H A Dcl_low.h164 var uint32 _y = (y); \
215 var uint32 _y = (y); \
225 var uint32 _y = (y); \
425 var uint16 __y = (y); \
475 var uint16 __y = (y); \
486 var uint16 __y = (y); \
505 var uint16 __y = (y); \
573 var uint16 _y = (y); \
646 var uint32 _y = (y); \
705 var uint32 __y = (y); \
[all …]
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/tests/python/relay/
H A Dtest_pass_convert_op_layout.py38 x = relay.var("x", shape=(1, 64, 56, 56))
57 x = relay.var("x", shape=(2, 2))
58 y = relay.var("y", shape=(1, 2))
84 x = relay.var("x", shape=(1, 56, 56, 64))
100 x = relay.var("x", shape=(1, 56, 56, 64))
198 bias = relay.var("bias", shape=(64,))
221 bias = relay.var("bias", shape=(64,))
363 gamma = relay.var("gamma")
364 beta = relay.var("beta")
365 mean = relay.var("mean")
[all …]
H A Dtest_pass_alter_op_layout.py108 bias = relay.var("bias")
109 weight = relay.var("weight")
172 bias = relay.var("bias")
173 weight = relay.var("weight")
325 weight = relay.var("weight")
342 weight = relay.var("weight")
432 weight = relay.var("weight")
446 w = relay.var("weight")
568 weight = relay.var("weight")
692 weight = relay.var("weight")
[all …]
/dports/games/openclonk/openclonk-release-8.1-src/planet/Worlds.ocf/GemGrabbers.ocs/
H A DScript.c215 var x = pos.x, y = pos.y; in FxGrowGemStalactitesTimer() local
261 var y = effect.y; in FxGrowStalactiteTimer() local
340 var y = hgt / 2 - 220; in FindMainIslandPosition() local
381 var island = MakeIslandRect(spot.x, spot.y); in FindIslands()
397 var y1 = y, y2 = y; in MakeIslandRect()
405 …var spot = FindLocation(Loc_Solid(), Loc_InRect(Max(0, x - range), Max(0, y - range), Min(2 * rang… in MakeIslandRect()
440 var lab = CreateObjectAbove(InventorsLab, spot.x, spot.y); in ProvideIsland()
455 var shipyard = CreateObjectAbove(Shipyard, spot.x, spot.y); in ProvideIsland()
466 var cannon = CreateObjectAbove(Cannon, spot.x, spot.y); in ProvideIsland()
485 var lorry = CreateObjectAbove(Lorry, spot.x, spot.y); in ProvideIsland()
[all …]
/dports/math/stanmath/math-4.2.0/test/unit/math/mix/fun/
H A Dassign_test.cpp12 vector<fvar<var> > y(3); in TEST() local
51 Matrix<fvar<var>, 1, Dynamic> y(3); in TEST() local
110 Matrix<fvar<var>, Dynamic, Dynamic> y(3, 2); in TEST() local
208 vector<vector<fvar<var> > > y(3, vector<fvar<var> >(2)); in TEST() local
254 vector<vector<vector<fvar<var> > > > y( in TEST() local
293 vector<Matrix<fvar<var>, Dynamic, 1> > y(2, Matrix<fvar<var>, Dynamic, 1>(3)); in TEST() local
339 vector<fvar<fvar<var> > > y(3); in TEST() local
386 Matrix<fvar<fvar<var> >, 1, Dynamic> y(3); in TEST() local
568 vector<vector<fvar<fvar<var> > > > y(3, vector<fvar<fvar<var> > >(2)); in TEST() local
618 vector<vector<vector<fvar<fvar<var> > > > > y( in TEST() local
[all …]
/dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/src/
H A Dintlog.d76 var uintC ny = I_to_DS_need(y); in I_I_logior_I()
80 var uintD* yptr; I_to_DS_n(y,n,yptr=); /* pointer in DS for y */ in I_I_logior_I()
101 var uintC ny = I_to_DS_need(y); in I_I_logxor_I()
144 var uintC ny = I_to_DS_need(y); in I_I_logand_I()
170 var uintC ny = I_to_DS_need(y); in I_I_logeqv_I()
215 var uintC ny = I_to_DS_need(y); in I_I_lognand_I()
240 var uintC ny = I_to_DS_need(y); in I_I_lognor_I()
244 var uintD* yptr; I_to_DS_n(y,n,yptr=); # pointer in DS for y in I_I_lognor_I()
275 var uintC ny = I_to_DS_need(y); in I_I_logandc2_I()
312 var uintC ny = I_to_DS_need(y); in I_I_logorc2_I()
[all …]
/dports/misc/tvm/incubator-tvm-0.6.1/tests/python/relay/
H A Dtest_pass_alter_op_layout.py99 bias = relay.var("bias")
100 weight = relay.var("weight")
162 weight1 = relay.var('weight1')
163 weight2 = relay.var('weight2')
281 weight = relay.var("weight")
298 weight = relay.var("weight")
327 weight = relay.var("weight")
341 w = relay.var("weight")
483 weight = relay.var("weight")
519 weight = relay.var("weight")
[all …]
/dports/misc/py-tvm/incubator-tvm-0.6.1/tests/python/relay/
H A Dtest_pass_alter_op_layout.py99 bias = relay.var("bias")
100 weight = relay.var("weight")
162 weight1 = relay.var('weight1')
163 weight2 = relay.var('weight2')
281 weight = relay.var("weight")
298 weight = relay.var("weight")
327 weight = relay.var("weight")
341 w = relay.var("weight")
483 weight = relay.var("weight")
519 weight = relay.var("weight")
[all …]
/dports/math/cln/cln-1.3.6/src/float/transcendental/
H A Dcl_F_lnx.cc46 var cl_LF y = x-cl_float(1,x); in lnx_naive() local
48 return y; in lnx_naive()
51 var sintE e = float_exponent_inline(y); in lnx_naive()
74 var cl_LF a = -y; in lnx_naive()
75 var cl_LF b = y; in lnx_naive()
103 var cl_LF z = y / (x+cl_float(1,x)); in lnx_naive()
145 var cl_F y = x-cl_float(1,x); in lnx_naive() local
149 var sintE e = float_exponent(y); in lnx_naive()
166 var cl_F a = -y; in lnx_naive()
167 var cl_F b = y; in lnx_naive()
[all …]
/dports/lang/nim/nim-1.6.2/tests/stdlib/
H A Dtalgorithm.nim123 var y = @[6, 7, 9, 12, 57, 66]
132 var y = @[99, 85, 83, 82, 69, 64, 48, 42, 33, 31, 26, 13]
141 var y = @[1]
151 var y: seq[int] = @[]
160 var y: seq[int] = @[]
169 var y = [1, 4, 6, 7, 9]
178 var y: array[0, int]
187 var y: array[0, int]
197 var y: seq[int]
218 var y = @[r(4), r(7), r(12), r(13), r(77), r(99)]
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/
H A DSymmetries.texi148 @var{x^4-2*x*y} decomposes as follows in elementary symmetric functions:
620 @deffn {Function} direct ([@var{p_1}, ..., @var{p_n}], @var{y}, @var{f}, [@var{lvar_1}, ..., @var{l…
624 @var{p_1}, ..., @var{p_n} in a variable @var{y}. The arity of the
766 Given the 2 symmetric polynomials in @var{x}, @var{y}: @code{3*(x + y)
1279 (%o2) y + 7 y - 539 y - 1841 y + 51443 y + 315133 y
1360 (%o17) y - 7 y - 1029 y + 135 y + 7203 y - 756 y
1383 (%o19) y - 7 y - 1029 y + 135 y + 7203 y - 756 y
1569 (%o1) [y + 3 y + 2 y - 1, y - 2 y - 21 y - 31 y - 14 y
1572 - y + 14 y + 3 y + 1, y + 3 y + 14 y - y - 14 y - 31 y
1575 - 21 y - 2 y + 1, y - 2 y - 3 y - 1, y - 1]
[all …]

12345678910>>...2363