/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Puzzles/ |
H A D | Fish.hs | 99 fact1 f = do i <- free_ function 109 fact1 $ \i -> n i `is` Briton .&& c i `is` Red 110 fact1 $ \i -> n i `is` Swede .&& p i `is` Dog 111 fact1 $ \i -> n i `is` Dane .&& b i `is` Tea 113 fact1 $ \i -> c i `is` Green .&& b i `is` Coffee 114 fact1 $ \i -> s i `is` Football .&& p i `is` Bird 115 fact1 $ \i -> c i `is` Yellow .&& s i `is` Baseball 120 fact1 $ \i -> s i `is` Tennis .&& b i `is` Beer 121 fact1 $ \i -> n i `is` German .&& s i `is` Hockey 126 fact1 $ \i -> n i .== ownsFish .&& p i `is` Fish
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/memcheck/tests/ |
H A D | wrap3.c | 8 static int fact1 ( int n ); 15 int fact1 ( int n ) in fact1() function 21 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 25 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 53 r = fact1(5); in main()
|
H A D | wrap4.c | 12 static int fact1 ( int n ); 19 int fact1 ( int n ) in fact1() function 25 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 29 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 58 r = fact1(5); in main()
|
H A D | wrap5.c | 32 static int fact1 ( int n ); 39 int fact1 ( int n ) in fact1() function 47 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 51 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 85 r = fact1(7); in main()
|
H A D | wrap8.stderr.exp-ppc64 | 6 by 0x........: fact1 (wrap8.c:49) 7 by 0x........: fact1 (wrap8.c:65) 10 by 0x........: fact1 (wrap8.c:49) 11 by 0x........: fact1 (wrap8.c:65)
|
H A D | wrap8.c | 39 static int fact1 ( int n ); 46 int fact1 ( int n ) in fact1() function 54 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 58 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 92 r = fact1(n); in main()
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/memcheck/tests/ |
H A D | wrap3.c | 8 static int fact1 ( int n ); 15 int fact1 ( int n ) in fact1() function 21 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 25 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 53 r = fact1(5); in main()
|
H A D | wrap4.c | 12 static int fact1 ( int n ); 19 int fact1 ( int n ) in fact1() function 25 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 29 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 58 r = fact1(5); in main()
|
H A D | wrap5.c | 32 static int fact1 ( int n ); 39 int fact1 ( int n ) in fact1() function 47 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 51 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 85 r = fact1(7); in main()
|
H A D | wrap8.stderr.exp-ppc64 | 6 by 0x........: fact1 (wrap8.c:49) 7 by 0x........: fact1 (wrap8.c:65) 10 by 0x........: fact1 (wrap8.c:49) 11 by 0x........: fact1 (wrap8.c:65)
|
H A D | wrap8.c | 39 static int fact1 ( int n ); 46 int fact1 ( int n ) in fact1() function 54 if (n == 0) return 1; else return mul(n, fact1(n-1)); in fact2() 58 int I_WRAP_SONAME_FNNAME_ZU(NONE,fact1) ( int n ) in I_WRAP_SONAME_FNNAME_ZU() argument 92 r = fact1(n); in main()
|
/dports/science/siconos/siconos-4.4.0/externals/netlib/odepack/test/ |
H A D | DLSODI-test.f | 208 1 fact1, fact4 local 216 fact1 = one/six 220 10 r(i) = r(i) - (fact1*v(i-1) + fact4*v(i) + fact1*v(i+1)) 264 fact1 = one/six 268 pa(mu,i) = pa(mu,i) + fact1 285 1 fact1, fact4 local 291 fact1 = one/six 297 pa(i,i+1) = pa(i,i+1) + fact1 299 pa(i,i-1) = pa(i,i-1) + fact1 301 pa(1,2) = pa(1,2) + fact1 [all …]
|
/dports/sysutils/ansible2/ansible-2.9.27/test/integration/targets/includes_race/ |
H A D | test_includes_race.yml | 11 tasks_from: fact1.yml 18 …msg: "set_a_fact didn't run fact1 {{ fact1 | default('not defined')}} fact2: {{ fact2 | default('n… 19 when: (fact1 is not defined or fact2 is not defined)
|
/dports/sysutils/py-ansible-core/ansible-core-2.11.6/test/integration/targets/includes_race/ |
H A D | test_includes_race.yml | 11 tasks_from: fact1.yml 18 …msg: "set_a_fact didn't run fact1 {{ fact1 | default('not defined')}} fact2: {{ fact2 | default('n… 19 when: (fact1 is not defined or fact2 is not defined)
|
/dports/sysutils/py-ansible-base/ansible-base-2.10.15/test/integration/targets/includes_race/ |
H A D | test_includes_race.yml | 11 tasks_from: fact1.yml 18 …msg: "set_a_fact didn't run fact1 {{ fact1 | default('not defined')}} fact2: {{ fact2 | default('n… 19 when: (fact1 is not defined or fact2 is not defined)
|
/dports/games/freedroidrpg/freedroidrpg-0.16.1/src/ |
H A D | faction.c | 92 void set_faction_state(enum faction_id fact1, enum faction_id fact2, enum faction_state state) in set_faction_state() argument 95 if (fact1 == fact2 && state == HOSTILE) { in set_faction_state() 99 hostility_matrix[fact1][fact2] = state; in set_faction_state() 100 hostility_matrix[fact2][fact1] = state; in set_faction_state() 107 int is_friendly(enum faction_id fact1, enum faction_id fact2) in is_friendly() argument 109 return (hostility_matrix[fact1][fact2] == FRIENDLY); in is_friendly()
|
/dports/math/apache-commons-math/commons-math3-3.6.1-src/src/main/java/org/apache/commons/math3/stat/regression/ |
H A D | SimpleRegression.java | 137 final double fact1 = 1.0 + n; in addData() local 144 xbar += dx / fact1; in addData() 145 ybar += dy / fact1; in addData() 188 xbar += dx * fact1; in append() 189 ybar += dy * fact1; in append() 217 final double fact1 = n - 1.0; in removeData() local 224 xbar -= dx / fact1; in removeData() 225 ybar -= dy / fact1; in removeData() 227 final double fact1 = n - 1.0; in removeData() local 231 xbar -= x / fact1; in removeData() [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/test/ |
H A D | udoc_relation.cpp | 255 t1->add_fact(fact1); in test1() 273 t2->add_fact(fact1); in test1() 547 datalog::relation_fact fact1(m); in test_join_project3() local 550 t1->add_fact(fact1); in test_join_project3() 558 t2->add_fact(fact1); in test_join_project3() 559 fact1.reset(); in test_join_project3() 562 t2->add_fact(fact1); in test_join_project3() 590 t1->add_fact(fact1); in test_rename() 600 fact1.reset(); in test_rename() 605 t1->add_fact(fact1); in test_rename() [all …]
|
H A D | dl_relation.cpp | 85 relation_fact fact1(ast_m); in test_interval_relation() local 86 fact1.push_back(autil.mk_numeral(rational(0), true)); in test_interval_relation() 87 fact1.push_back(autil.mk_numeral(rational(4), true)); in test_interval_relation() 88 fact1.push_back(autil.mk_numeral(rational(4), true)); in test_interval_relation() 89 fact1.push_back(autil.mk_numeral(rational(5), true)); in test_interval_relation() 90 ENSURE(i2.contains_fact(fact1)); in test_interval_relation() 91 fact1[0] = autil.mk_numeral(rational(-1), true); in test_interval_relation() 92 ENSURE(i2.contains_fact(fact1)); in test_interval_relation() 93 fact1[0] = autil.mk_numeral(rational(1), true); in test_interval_relation() 94 ENSURE(!i2.contains_fact(fact1)); in test_interval_relation() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
H A D | udoc_relation.cpp | 255 t1->add_fact(fact1); in test1() 273 t2->add_fact(fact1); in test1() 547 datalog::relation_fact fact1(m); in test_join_project3() local 550 t1->add_fact(fact1); in test_join_project3() 558 t2->add_fact(fact1); in test_join_project3() 559 fact1.reset(); in test_join_project3() 562 t2->add_fact(fact1); in test_join_project3() 590 t1->add_fact(fact1); in test_rename() 600 fact1.reset(); in test_rename() 605 t1->add_fact(fact1); in test_rename() [all …]
|
H A D | dl_relation.cpp | 85 relation_fact fact1(ast_m); in test_interval_relation() local 86 fact1.push_back(autil.mk_numeral(rational(0), true)); in test_interval_relation() 87 fact1.push_back(autil.mk_numeral(rational(4), true)); in test_interval_relation() 88 fact1.push_back(autil.mk_numeral(rational(4), true)); in test_interval_relation() 89 fact1.push_back(autil.mk_numeral(rational(5), true)); in test_interval_relation() 90 ENSURE(i2.contains_fact(fact1)); in test_interval_relation() 91 fact1[0] = autil.mk_numeral(rational(-1), true); in test_interval_relation() 92 ENSURE(i2.contains_fact(fact1)); in test_interval_relation() 93 fact1[0] = autil.mk_numeral(rational(1), true); in test_interval_relation() 94 ENSURE(!i2.contains_fact(fact1)); in test_interval_relation() [all …]
|
/dports/science/quantum-espresso/q-e-qe-6.7.0/PWCOND/src/ |
H A D | integrals.f90 | 70 fact1(nz1), fact2(nz1),& local 82 fact=fact1(1) 86 s1=s1+int1(ik)*ff*fact1(ik) 114 fact1(nz1), fact2(nz1) ! local 122 int2(ik)=int2(ik+1)+fun(ik+1)*fact1(ik+1)
|
/dports/lang/guile1/guile-1.8.8/ice-9/debugging/ |
H A D | example-fns.scm | 2 #:export (fact1 fact2 facti)) 4 (define (fact1 n) 7 (* n (fact1 (- n 1)))))
|
/dports/science/qmcpack/qmcpack-3.11.0/external_codes/boost_multi/multi/memory/adaptors/cuda/test/ |
H A D | saxpy_kernel.cu | 47 inline void factorize(const std::size_t val, const std::size_t thres, std::size_t & fact1, std::siz… in factorize() argument 48 fact1 = val; in factorize() 50 while (fact1 > thres){ in factorize() 51 fact1 = (fact1 + 1)/2; in factorize() 55 assert(fact1*fact2 >= val); in factorize()
|
/dports/biology/jalview/jalview/src/jalview/analysis/ |
H A D | SecStrConsensus.java | 172 double fact1 = 0; in fillMatrix() local 175 fact1 = tab[i + 1][k - 1]; in fillMatrix() 183 basePairScore(seq, i, k) + fact1 + fact2); in fillMatrix() 223 double fact1 = 0; in backtrack() local 226 fact1 = tab[i + 1][k - 1]; in backtrack() 233 if (tab[i][j] == basePairScore(seq, i, k) + fact1 + fact2) in backtrack()
|