| /dports/misc/sword/sword-1.8.1/src/frontend/im/ |
| H A D | hebrewmcim.cpp | 147 subst2[2]['A'] = 1458; in init()
148 subst2[2]['E'] = 1457; in init()
149 subst2[2]['F'] = 1459; in init()
157 subst2[5]['4'] = 1449; in init()
165 subst2[6]['3'] = 1433; in init()
166 subst2[6]['5'] = 1469; in init()
173 subst2[7]['4'] = 1440; in init()
176 subst2[8]['0'] = 1451; in init()
177 subst2[8]['1'] = 1436; in init()
180 subst2[4]['0'] = 1434; in init()
[all …]
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objects/macro/unit_test/ |
| H A D | unit_test_string_constraint.cpp | 323 subst2->SetWord("gene"); in BOOST_AUTO_TEST_CASE()
331 subst2->SetWhole_word(false); in BOOST_AUTO_TEST_CASE()
388 subst2->SetWord("gene"); in BOOST_AUTO_TEST_CASE()
390 subst2->SetWhole_word(false); in BOOST_AUTO_TEST_CASE()
437 subst2->SetWord("gene"); in BOOST_AUTO_TEST_CASE()
445 subst2->SetWhole_word(false); in BOOST_AUTO_TEST_CASE()
501 subst2->SetWord("1"); in BOOST_AUTO_TEST_CASE()
504 subst2->SetWhole_word(false); in BOOST_AUTO_TEST_CASE()
554 subst2->SetWord("gene"); in BOOST_AUTO_TEST_CASE()
562 subst2->SetWhole_word(false); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/astro/starplot/starplot-0.95.5/src/convert/ |
| H A D | parse.h | 131 std::string subst2; member
134 substitution() : subst1(), subst2(), insert_posn(0) { } in substitution()
136 subst1(s1), subst2(s2), insert_posn(posn) { } in substitution()
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/inferred/ |
| H A D | inferrer.rkt | 44 (let ((subst2 (unifier type1 (int-type) subst1 exp)))
45 (an-answer (bool-type) subst2)))))
52 (an-answer (type2 subst2)
53 (let ((subst2
54 (unifier type2 (int-type) subst2 exp2)))
55 (an-answer (int-type) subst2))))))))
|
| /dports/benchmarks/tsung/tsung-1.7.0/src/tsung/ |
| H A D | ts_jabber.erl | 330 …subst2(Req#jabber{username=NewUser,passwd=NewPwd,data=NewData,resource=ts_search:subst(Resource,Dy…
333 …subst2(Req#jabber{data=ts_search:subst(Data,Dynvars),resource=ts_search:subst(Resource,Dynvars)},D…
335 subst2(Req=#jabber{type = Type}, Dynvars) when Type == 'starttls' -> function
340 subst2(Req=#jabber{type = Type}, Dynvars) when Type == 'muc:chat' ; Type == 'muc:join'; Type == 'mu… function
343 subst2(Req=#jabber{type = Type}, Dynvars) when Type == 'pubsub:create' ; Type == 'pubsub:subscribe'… function
345 subst2(Req=#jabber{type = Type}, Dynvars) when Type == 'pubsub:unsubscribe' -> function
349 subst2(Req, _Dynvars) -> function
|
| /dports/math/eprover/eprover-E-2.0/LEARN/ |
| H A D | cle_patterns.h | 96 PatternSubst_p subst2, Term_p t2);
101 subst2,Eqn_p eqn2, PatEqnDirection dir2);
104 listrep1, PatternSubst_p subst2,
|
| H A D | cle_patterns.c | 131 f1, PatternSubst_p subst2, in pat_symbol_compare() argument
134 if(PatSymbolIsBound(subst1, f1) && PatSymbolIsBound(subst2, f2)) in pat_symbol_compare()
137 pat_symb_comp_val(subst2, f2); in pat_symbol_compare()
951 PatternSubst_p subst2, Term_p t2) in PatternTermCompare() argument
977 res = pat_symbol_compare(subst1, t1->f_code, subst2, in PatternTermCompare()
1042 PatternSubst_p subst2, Eqn_p in PatternTermPairCompare() argument
1087 res = PatternTermCompare(subst1, l1, subst2, l2); in PatternTermPairCompare()
1092 res = PatternTermCompare(subst1, r1, subst2, r2); in PatternTermPairCompare()
1148 listrep1, PatternSubst_p subst2, in PatternLitListCompare() argument
1170 res = PatternTermPairCompare(subst1, eqn1, dir1, subst2, eqn2, in PatternLitListCompare()
|
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
| H A D | solve.rs | 80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
83 (Suggested(ref subst1), Suggested(ref subst2)) if subst1 == subst2 => { in combine()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
| H A D | solve.rs | 80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
83 (Suggested(ref subst1), Suggested(ref subst2)) if subst1 == subst2 => { in combine()
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
| H A D | solve.rs | 80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
83 (Suggested(ref subst1), Suggested(ref subst2)) if subst1 == subst2 => { in combine()
|
| /dports/misc/sword/sword-1.8.1/include/ |
| H A D | hebrewmcim.h | 45 map<int, int> subst2[12]; variable
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/type-equality-1/ |
| H A D | CHANGELOG.md | 5 * Add subst2. Thanks to James Koppel.
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/type-equality-1/ |
| H A D | CHANGELOG.md | 5 * Add subst2. Thanks to James Koppel.
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/type-equality-1/ |
| H A D | CHANGELOG.md | 5 * Add subst2. Thanks to James Koppel.
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/type-equality-1/ |
| H A D | CHANGELOG.md | 5 * Add subst2. Thanks to James Koppel.
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/misc-kb/ |
| H A D | terms.ml | 62 let compsubst subst1 subst2 =
63 (List.map (fun (v,t) -> (v, substitute subst1 t)) subst2) @ subst1
|
| /dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/misc-kb/ |
| H A D | terms.ml | 62 let compsubst subst1 subst2 =
63 (List.map (fun (v,t) -> (v, substitute subst1 t)) subst2) @ subst1
|
| /dports/biology/gatk/gatk-4.2.0.0/src/test/java/org/broadinstitute/hellbender/tools/walkers/realignmentfilter/ |
| H A D | RealignmentEngineUnitTest.java | 36 final GATKRead subst2 = makeRead("subst2", 5, "TCGTGGGG", "8M"); in testSupportsVariant() local
48 final List<GATKRead> reads = Arrays.asList(subst1, subst2, ins1, del1, refRead); in testSupportsVariant()
|
| /dports/lang/ocaml/ocaml-4.05.0/debugger/ |
| H A D | unix_tools.ml | 101 ^ (subst2 (String.sub ch (pos + 1) (String.length ch - pos - 1)))
104 and subst2 ch =
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/debugger/ |
| H A D | unix_tools.ml | 101 ^ (subst2 (String.sub ch (pos + 1) (String.length ch - pos - 1)))
104 and subst2 ch =
|
| /dports/lang/ghc/ghc-8.10.7/docs/core-spec/ |
| H A D | CoreLint.ott | 340 G |-axk [ </ ni_Ri // i /> |-> </ gi // i /> ] ~> (subst1, subst2)
343 t2 = subst2(t1)
367 defn G |- axk [ namesroles |-> gs ] ~> ( subst1 , subst2 ) :: :: check_ki :: 'AxiomKind_'
369 …{{ tex [[G]] \labeledjudge{axk} [ [[namesroles]] [[|->]] [[gs]] ] [[~>]] ([[subst1]], [[subst2]]) …
375 G |-axk [namesroles |-> gs] ~> (subst1, subst2)
377 G |-co g0 : t1 {subst1(k)}~R subst2(k) t2
379 G |-axk [ namesroles, n_R |-> gs, g0 ] ~> (subst1 [n |-> t1], subst2 [n |-> t2])
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/typing-labels/ |
| H A D | mixin.ml | 117 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst var
|
| /dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/typing-labels/ |
| H A D | mixin.ml | 117 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst var
|
| /dports/math/symengine/symengine-0.8.1/symengine/utilities/matchpycpp/autogen_tests/ |
| H A D | test_case006.cpp | 305 SubstitutionMultiset subst2 = get<1>(p); in match_root() local
312 tmp_subst["w"] = subst2["i1"]; in match_root()
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | TidyPgm.hs | 1113 subst2 = extendVarEnv subst1 bndr bndr' function
1114 tidy_env2 = (occ_env, subst2)
1126 subst2 = extendVarEnvList subst1 (bndrs `zip` map fst prs') function
1127 tidy_env2 = (occ_env, subst2)
|