Home
last modified time | relevance | path

Searched refs:fact1 (Results 1 – 25 of 244) sorted by relevance

12345678910

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Puzzles/
H A DFish.hs99 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 Dwrap3.c8 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 Dwrap4.c12 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 Dwrap5.c32 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 Dwrap8.stderr.exp-ppc646 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 Dwrap8.c39 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 Dwrap3.c8 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 Dwrap4.c12 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 Dwrap5.c32 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 Dwrap8.stderr.exp-ppc646 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 Dwrap8.c39 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 DDLSODI-test.f208 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 Dtest_includes_race.yml11 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 Dtest_includes_race.yml11 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 Dtest_includes_race.yml11 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 Dfaction.c92 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 DSimpleRegression.java137 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 Dudoc_relation.cpp255 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 Ddl_relation.cpp85 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 Dudoc_relation.cpp255 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 Ddl_relation.cpp85 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 Dintegrals.f9070 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 Dexample-fns.scm2 #: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 Dsaxpy_kernel.cu47 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 DSecStrConsensus.java172 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()

12345678910