Home
last modified time | relevance | path

Searched refs:sscc (Results 1 – 25 of 55) sorted by relevance

123

/dports/math/spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc136 scc_stack_ta sscc; in compute_livelock_acceptance_states() local
176 sscc.push(++num); in compute_livelock_acceptance_states()
178 sscc.top().is_accepting in compute_livelock_acceptance_states()
210 sscc.rem().push_front(curr); in compute_livelock_acceptance_states()
215 assert(!sscc.empty()); in compute_livelock_acceptance_states()
254 sscc.pop(); in compute_livelock_acceptance_states()
294 sscc.push(num); in compute_livelock_acceptance_states()
296 sscc.top().is_accepting = in compute_livelock_acceptance_states()
351 assert(!sscc.empty()); in compute_livelock_acceptance_states()
357 sscc.pop(); in compute_livelock_acceptance_states()
[all …]
H A Demptinessta.cc413 sscc.push(num); in livelock_detection()
442 sscc.rem().push_front(curr); in livelock_detection()
448 assert(!sscc.empty()); in livelock_detection()
452 for (auto j: sscc.rem()) in livelock_detection()
455 sscc.pop(); in livelock_detection()
493 sscc.push(num); in livelock_detection()
537 assert(!sscc.empty()); in livelock_detection()
542 sscc.pop(); in livelock_detection()
551 sscc.top().is_accepting |= acc; in livelock_detection()
553 sscc.rem().splice(sscc.rem().end(), rem); in livelock_detection()
[all …]
H A Demptinessta.hh138 scc_stack_ta sscc; member in spot::ta_check
/dports/math/py-spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc136 scc_stack_ta sscc;
176 sscc.push(++num);
178 sscc.top().is_accepting
210 sscc.rem().push_front(curr);
215 assert(!sscc.empty());
254 sscc.pop();
294 sscc.push(num);
296 sscc.top().is_accepting =
351 assert(!sscc.empty());
357 sscc.pop();
[all …]
H A Demptinessta.cc413 sscc.push(num); in livelock_detection()
442 sscc.rem().push_front(curr); in livelock_detection()
448 assert(!sscc.empty()); in livelock_detection()
452 for (auto j: sscc.rem()) in livelock_detection()
455 sscc.pop(); in livelock_detection()
493 sscc.push(num); in livelock_detection()
537 assert(!sscc.empty()); in livelock_detection()
542 sscc.pop(); in livelock_detection()
551 sscc.top().is_accepting |= acc; in livelock_detection()
553 sscc.rem().splice(sscc.rem().end(), rem); in livelock_detection()
[all …]
H A Demptinessta.hh138 scc_stack_ta sscc; member in spot::ta_check
/dports/astro/py-ephem/ephem-4.1.3/libastro/
H A Dlibration.c83 sscc (int k, double arg, int n) in sscc() function
140 sscc (10, STR * w, plan->max_harmonic[10]); in dargs()
147 sscc (11, STR * w, plan->max_harmonic[11]); in dargs()
154 sscc (9, STR * w, plan->max_harmonic[9]); in dargs()
161 sscc (12, STR * w, plan->max_harmonic[12]); in dargs()
168 sscc (13, STR * w, plan->max_harmonic[13]); in dargs()
184 sscc (1, STR * w, plan->max_harmonic[1]); in dargs()
197 sscc (2, STR * w, plan->max_harmonic[2]); in dargs()
202 sscc (3, STR * w, plan->max_harmonic[3]); in dargs()
207 sscc (4, STR * w, plan->max_harmonic[4]); in dargs()
[all …]
H A Dmoon.c88 static int sscc (int k, double arg, int n);
3006 sscc (int k, double arg, int n) in sscc() function
3056 sscc (i, Args[i], j); in g2plan()
3176 sscc (i, Args[i], j); in g1plan()
/dports/graphics/filmulator/filmulator-gui-0.11.1/filmulator-gui/core/
H A Ddevelop.cpp41 float sscc = silverSaltConsumptionConst*2.0; in develop() local
55 crystalRad, activeCrystalsPerPixel, cgc, dcc, sscc )\ in develop()
104 silverSaltDensity( row, colr ) -= sscc * dCrystalVolR; in develop()
105 silverSaltDensity( row, colg ) -= sscc * dCrystalVolG; in develop()
106 silverSaltDensity( row, colb ) -= sscc * dCrystalVolB; in develop()
/dports/textproc/pear-Validate_ISPN/Validate_ISPN-0.8.0/Validate/
H A DISPN.php327 * @param string $sscc number (only numeric chars will be considered)
333 public static function sscc($sscc) function in Validate_ISPN
336 return Validate_ISPN::process($sscc, 18, $weights_sscc, 10, 10);
/dports/graphics/filmulator/filmulator-gui-0.11.1/filmulator-gui/Halide/
H A Ddevelop.cpp7 Expr sscc = silverSaltConsumptionConst * 2.0f; in develop() local
26 select(c == SILVER_SALT_DEN_R, max(0,inputs(x,y,c) - sscc*dCrystalVol(x,y,0)), in develop()
27 select(c == SILVER_SALT_DEN_G, max(0,inputs(x,y,c) - sscc*dCrystalVol(x,y,1)), in develop()
28 select(c == SILVER_SALT_DEN_B, max(0,inputs(x,y,c) - sscc*dCrystalVol(x,y,2)), in develop()
/dports/textproc/pear-Validate_ISPN/Validate_ISPN-0.8.0/tests/
H A Dproduct_numbers.phpt133 foreach ($ssccs as $sscc) {
134 echo "{$sscc} : ".$noYes[Validate_ISPN::sscc($sscc)]."\n";
/dports/astro/swe/swisseph-2.10.1/
H A Dswemmoon.c191 static void sscc(int k, double arg, int n );
941 sscc( 0, STR*D, 6 ); in moon1()
942 sscc( 1, STR*M, 4 ); in moon1()
943 sscc( 2, STR*MP, 4 ); in moon1()
944 sscc( 3, STR*NF, 4 ); in moon1()
1201 sscc( 0, STR*D, 6 ); in moon1()
1202 sscc( 1, STR*M, 4 ); in moon1()
1203 sscc( 2, STR*MP, 4 ); in moon1()
1204 sscc( 3, STR*NF, 4 ); in moon1()
1696 static void sscc(int k, double arg, int n ) in sscc() function
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.target/powerpc/
H A Dbuiltins-1.fold.h132 extern vector short sscc; sscc = vec_and (ssa, ssb); in main()

123