| /dports/math/py-pysmt/pysmt-0.9.0/pysmt/test/smtlib/ |
| H A D | test_annotations.py | 32 next_a = Symbol("next(a)")
35 ann.add(a, "next", next_a)
37 ann.add(a, "related", next_a)
52 next_a = Symbol("next(a)")
55 ann.add(a, "next", next_a)
57 ann.add(a, "related", next_a)
73 next_a = Symbol("next(a)")
76 ann.add(a, "next", next_a)
78 ann.add(a, "related", next_a)
94 next_a = Symbol("next(a)")
[all …]
|
| /dports/math/igraph/igraph-0.9.5/src/games/ |
| H A D | correlated.c | 70 igraph_real_t next_e, next_a, next_d; in igraph_correlated_game() local
178 next_a = VECTOR(add)[p_a] + p_e; } else { next_a = inf; } } in igraph_correlated_game()
185 while (next_e != inf || next_a != inf || next_d != inf) { in igraph_correlated_game()
186 if (next_e <= next_a && next_e < next_d) { in igraph_correlated_game()
193 } else if (next_e <= next_a && next_e == next_d) { in igraph_correlated_game()
204 to = (int) floor(next_a / no_of_nodes); in igraph_correlated_game()
205 from = (int) (next_a - ((igraph_real_t)to) * no_of_nodes); in igraph_correlated_game()
210 to = (int) floor((sqrt(8 * next_a + 1) + 1) / 2); in igraph_correlated_game()
211 from = (int) (next_a - (((igraph_real_t)to) * (to - 1)) / 2); in igraph_correlated_game()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/skia/resources/lua/ |
| H A D | slides_transitions.lua | 62 set_blur(self.paint, self.next_a)
72 rec.next_a = 0
76 self.next_a = (640 - self.next_x) / 640
77 self.prev_a = 1 - self.next_a
83 rec.next_a = 0
88 self.next_a = 1 - self.prev_a
108 set_blur(self.paint, self.next_a)
115 rec.next_a = 0
116 rec.isDone = function (self) return self.next_a >= 1 end
119 self.next_a = 1 - self.prev_a
|
| /dports/audio/supercollider/SuperCollider-3.11.0-Source/server/plugins/ |
| H A D | BinaryOpUGens.cpp | 1504 if (xa == next_a) { in add_ka()
1575 if (xa == next_a) { in add_ka_nova()
1591 if (xa == next_a) { in add_ka_nova_64()
1642 if (xa == next_a) { in sub_ka()
1713 if (xa == next_a) { in sub_ka_nova()
1726 if (xa == next_a) { in sub_ka_nova_64()
1773 if (xa == next_a) { in mul_ka()
1814 if (xa == next_a) { in NOVA_BINARY_WRAPPER()
1833 if (xa == next_a) { in mul_ka_nova_64()
1925 if (xa == next_a) { in div_ka()
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 15 int curr_a, flag, next_a; in foo() local
22 next_a = a[i+1]; in foo()
23 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 15 int curr_a, flag, next_a; in foo() local
22 next_a = a[i+1]; in foo()
23 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 15 int curr_a, flag, next_a; in foo() local
22 next_a = a[i+1]; in foo()
23 curr_a = flag ? curr_a : next_a; in foo()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.dg/vect/ |
| H A D | vect-cond-2.c | 14 int curr_a, flag, next_a; in foo() local
21 next_a = a[i+1]; in foo()
22 curr_a = flag ? curr_a : next_a; in foo()
|