| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | new_bit_blaster.h | 137 extern void delete_bit_blaster(bit_blaster_t *blaster);
143 extern void reset_bit_blaster(bit_blaster_t *blaster);
149 static inline void bit_blaster_push(bit_blaster_t *blaster) { in bit_blaster_push() argument
150 gate_table_push(&blaster->htbl); in bit_blaster_push()
153 static inline void bit_blaster_pop(bit_blaster_t *blaster) { in bit_blaster_pop() argument
154 gate_table_pop(&blaster->htbl); in bit_blaster_pop()
164 gate_table_set_level(&blaster->htbl, n); in bit_blaster_set_level()
295 return bit_blaster_eval_xor2(blaster, not(a), b); in bit_blaster_eval_eq()
365 extern bvar_t bit_blaster_new_var(bit_blaster_t *blaster);
371 return pos_lit(bit_blaster_new_var(blaster)); in bit_blaster_fresh_literal()
[all …]
|
| H A D | bit_blaster.h | 137 extern void delete_bit_blaster(bit_blaster_t *blaster);
143 extern void reset_bit_blaster(bit_blaster_t *blaster);
162 extern void bit_blaster_eq(bit_blaster_t *blaster, literal_t a, literal_t b);
230 extern void bit_blaster_half_adder(bit_blaster_t *blaster, literal_t a, literal_t b,
273 return bit_blaster_eval_xor2(blaster, not(a), b); in bit_blaster_eval_eq()
343 extern bvar_t bit_blaster_new_var(bit_blaster_t *blaster);
348 static inline literal_t bit_blaster_fresh_literal(bit_blaster_t *blaster) { in bit_blaster_fresh_literal() argument
349 return pos_lit(bit_blaster_new_var(blaster)); in bit_blaster_fresh_literal()
386 return bit_blaster_make_xor2(blaster, not(a), b); in bit_blaster_make_eq()
411 return not(bit_blaster_make_or2(blaster, not(a), not(b))); in bit_blaster_make_and2()
[all …]
|
| /dports/games/xonotic/Xonotic/source/qcsrc/common/weapons/weapon/ |
| H A D | blaster.qc | 1 #include "blaster.qh"
41 W_PROPS(X, Blaster, blaster)
45 REGISTER_WEAPON(BLASTER, blaster, NEW(Blaster));
159 if(WEP_CVAR(blaster, secondary))
161 …if((random() * (WEP_CVAR_PRI(blaster, damage) + WEP_CVAR_SEC(blaster, damage))) > WEP_CVAR_PRI(bla…
181 WEP_CVAR_PRI(blaster, damage),
184 WEP_CVAR_PRI(blaster, force),
185 WEP_CVAR_PRI(blaster, speed),
187 WEP_CVAR_PRI(blaster, delay),
195 switch(WEP_CVAR(blaster, secondary))
[all …]
|
| /dports/games/d2x/d2x-0.2.5/arch/dos/allg_snd/sound/drv/ |
| H A D | mpu.c | 104 char *blaster = getenv("BLASTER"); in mpu_detect() local
107 if ((blaster) && (_mpu_port < 0)) { in mpu_detect()
108 while (*blaster) { in mpu_detect()
109 while ((*blaster == ' ') || (*blaster == '\t')) in mpu_detect()
110 blaster++; in mpu_detect()
112 if ((*blaster == 'p') || (*blaster == 'P')) in mpu_detect()
113 _mpu_port = strtol(blaster+1, NULL, 16); in mpu_detect()
115 while ((*blaster) && (*blaster != ' ') && (*blaster != '\t')) in mpu_detect()
116 blaster++; in mpu_detect()
|
| H A D | sb.c | 409 char *blaster = getenv("BLASTER"); in sb_detect() local
445 if (blaster) { in sb_detect()
446 while (*blaster) { in sb_detect()
447 while ((*blaster == ' ') || (*blaster == '\t')) in sb_detect()
448 blaster++; in sb_detect()
450 if (*blaster) { in sb_detect()
451 switch (*blaster) { in sb_detect()
467 dma8 = strtol(blaster+1, NULL, 10); in sb_detect()
471 dma16 = strtol(blaster+1, NULL, 10); in sb_detect()
475 while ((*blaster) && (*blaster != ' ') && (*blaster != '\t')) in sb_detect()
[all …]
|
| /dports/emulators/adamem/adamem-1.0_4/ |
| H A D | Sound.c | 44 char *blaster=getenv ("BLASTER"); in GetSBInfo() local
46 if (blaster) in GetSBInfo()
48 strupr (blaster); in GetSBInfo()
49 while (*blaster) in GetSBInfo()
51 while (*blaster==' ' || *blaster=='\t') in GetSBInfo()
52 ++blaster; in GetSBInfo()
53 switch (*blaster++) in GetSBInfo()
57 case 'I': SB_Info.irq=(byte)strtol(blaster,NULL,10); in GetSBInfo()
63 case 'T': SB_Info.type=(byte)strtol(blaster,NULL,10); in GetSBInfo()
70 while (*blaster && *blaster!=' ' && *blaster!='\t') in GetSBInfo()
[all …]
|
| /dports/devel/allegro/allegro-4.4.3.1/src/dos/ |
| H A D | mpu.c | 157 char *blaster = getenv("BLASTER"); in mpu_detect() local
168 if ((blaster) && (_mpu_port < 0)) { in mpu_detect()
169 while (*blaster) { in mpu_detect()
170 while ((*blaster == ' ') || (*blaster == '\t')) in mpu_detect()
171 blaster++; in mpu_detect()
173 if (((*blaster == 'p') || (*blaster == 'P')) && (_mpu_port < 0)) in mpu_detect()
174 _mpu_port = strtol(blaster+1, NULL, 16); in mpu_detect()
176 if (((*blaster == 'i') || (*blaster == 'I')) && (_mpu_irq < 0)) in mpu_detect()
177 _mpu_irq = strtol(blaster+1, NULL, 10); in mpu_detect()
179 while ((*blaster) && (*blaster != ' ') && (*blaster != '\t')) in mpu_detect()
[all …]
|
| H A D | essaudio.c | 309 char *blaster = getenv("BLASTER"); in ess_detect() local
315 if (blaster) { in ess_detect()
316 while (*blaster) { in ess_detect()
317 while ((*blaster == ' ') || (*blaster == '\t')) in ess_detect()
318 blaster++; in ess_detect()
320 if (*blaster) { in ess_detect()
321 switch (*blaster) { in ess_detect()
330 _sound_irq = strtol(blaster+1, NULL, 10); in ess_detect()
335 _sound_dma = strtol(blaster+1, NULL, 10); in ess_detect()
339 while ((*blaster) && (*blaster != ' ') && (*blaster != '\t')) in ess_detect()
[all …]
|
| H A D | sb.c | 648 char *blaster = getenv("BLASTER"); in sb_detect() local
696 if (blaster) { in sb_detect()
697 while (*blaster) { in sb_detect()
698 while ((*blaster == ' ') || (*blaster == '\t')) in sb_detect()
699 blaster++; in sb_detect()
701 if (*blaster) { in sb_detect()
702 switch (*blaster) { in sb_detect()
715 sb_dma8 = strtol(blaster+1, NULL, 10); in sb_detect()
719 sb_dma16 = strtol(blaster+1, NULL, 10); in sb_detect()
723 while ((*blaster) && (*blaster != ' ') && (*blaster != '\t')) in sb_detect()
[all …]
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/blast/unit_tests/api/ |
| H A D | bl2seq_unit_test.cpp | 1167 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1195 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1222 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1249 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1705 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
1715 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2210 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2230 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2255 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2280 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | traceback_unit_test.cpp | 217 CBl2Seq blaster(*qsl, *ssl, eBlastn); in BOOST_AUTO_TEST_CASE() local
287 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
352 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
423 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
485 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
551 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
612 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
855 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
921 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
922 blaster.SetOptionsHandle().SetQueryCovHspPerc(5); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | psibl2seq_unit_test.cpp | 217 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle), in BOOST_FIXTURE_TEST_SUITE()
224 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle),
250 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(empty_query, m_Subject, opts),
268 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(qf, m_Subject, opts),
283 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(query, m_Subject, opts),
321 CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle);
322 CSearchResultSet results(*blaster.Run());
344 CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle); local
345 CSearchResultSet results(*blaster.Run());
390 CPsiBl2Seq blaster(m_Pssm, subj_factory, m_OptHandle);
[all …]
|
| H A D | rmblast_traceback_unit_test.cpp | 208 CBl2Seq blaster(*qsl, *ssl, *opts); in BOOST_FIXTURE_TEST_SUITE() local
214 const CBlastOptions& kOpts = blaster.GetOptionsHandle().GetOptions(); in BOOST_FIXTURE_TEST_SUITE()
218 SetupQueryInfo(const_cast<TSeqLocVector&>(blaster.GetQueries()), in BOOST_FIXTURE_TEST_SUITE()
220 SetupQueries(const_cast<TSeqLocVector&>(blaster.GetQueries()), in BOOST_FIXTURE_TEST_SUITE()
228 const_cast<TSeqLocVector&>(blaster.GetSubjects()), in BOOST_FIXTURE_TEST_SUITE()
229 blaster.GetOptionsHandle().GetOptions().GetProgramType()); in BOOST_FIXTURE_TEST_SUITE()
242 BlastHSPStream* hsp_stream = x_MakeStream(blaster.GetOptionsHandle().GetOptions()); in BOOST_FIXTURE_TEST_SUITE()
279 x_SetupMain(blaster.GetOptionsHandle().GetOptions(), query_blk, query_info); in BOOST_FIXTURE_TEST_SUITE()
285 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_FIXTURE_TEST_SUITE()
287 x_SetupGapAlign(blaster.GetOptionsHandle().GetOptions(), seq_src, query_info); in BOOST_FIXTURE_TEST_SUITE()
[all …]
|
| /dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/algo/blast/unit_tests/api/ |
| H A D | bl2seq_unit_test.cpp | 1167 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1195 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1222 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1249 CRef<CBl2Seq> blaster = in BOOST_AUTO_TEST_CASE() local
1705 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
1715 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2210 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2230 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2255 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
2280 sav = blaster.Run(); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | traceback_unit_test.cpp | 217 CBl2Seq blaster(*qsl, *ssl, eBlastn); in BOOST_AUTO_TEST_CASE() local
287 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
352 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
423 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
485 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
551 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
612 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
855 CBl2Seq blaster(*qsl, *ssl, opts_handle); in BOOST_AUTO_TEST_CASE() local
921 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_AUTO_TEST_CASE()
922 blaster.SetOptionsHandle().SetQueryCovHspPerc(5); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | psibl2seq_unit_test.cpp | 217 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle), in BOOST_FIXTURE_TEST_SUITE()
224 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle),
250 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(empty_query, m_Subject, opts),
268 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(qf, m_Subject, opts),
283 BOOST_REQUIRE_THROW(CPsiBl2Seq blaster(query, m_Subject, opts),
321 CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle);
322 CSearchResultSet results(*blaster.Run());
344 CPsiBl2Seq blaster(m_Pssm, m_Subject, m_OptHandle); local
345 CSearchResultSet results(*blaster.Run());
390 CPsiBl2Seq blaster(m_Pssm, subj_factory, m_OptHandle);
[all …]
|
| H A D | rmblast_traceback_unit_test.cpp | 208 CBl2Seq blaster(*qsl, *ssl, *opts); in BOOST_FIXTURE_TEST_SUITE() local
214 const CBlastOptions& kOpts = blaster.GetOptionsHandle().GetOptions(); in BOOST_FIXTURE_TEST_SUITE()
218 SetupQueryInfo(const_cast<TSeqLocVector&>(blaster.GetQueries()), in BOOST_FIXTURE_TEST_SUITE()
220 SetupQueries(const_cast<TSeqLocVector&>(blaster.GetQueries()), in BOOST_FIXTURE_TEST_SUITE()
228 const_cast<TSeqLocVector&>(blaster.GetSubjects()), in BOOST_FIXTURE_TEST_SUITE()
229 blaster.GetOptionsHandle().GetOptions().GetProgramType()); in BOOST_FIXTURE_TEST_SUITE()
242 BlastHSPStream* hsp_stream = x_MakeStream(blaster.GetOptionsHandle().GetOptions()); in BOOST_FIXTURE_TEST_SUITE()
279 x_SetupMain(blaster.GetOptionsHandle().GetOptions(), query_blk, query_info); in BOOST_FIXTURE_TEST_SUITE()
285 blaster.SetOptionsHandle().SetDbLength(subj_length); in BOOST_FIXTURE_TEST_SUITE()
287 x_SetupGapAlign(blaster.GetOptionsHandle().GetOptions(), seq_src, query_info); in BOOST_FIXTURE_TEST_SUITE()
[all …]
|
| /dports/emulators/qemu/qemu-6.2.0/meson/test cases/python/2 extmodule/ |
| H A D | meson.build | 21 blaster = configure_file( variable
22 input: 'blaster.py.in',
23 output: 'blaster.py',
29 args : blaster,
32 py.install_sources(blaster, pure: false)
33 py.install_sources(blaster, subdir: 'pure')
|
| /dports/devel/meson/meson-0.60.3/test cases/python/2 extmodule/ |
| H A D | meson.build | 21 blaster = configure_file( variable
22 input: 'blaster.py.in',
23 output: 'blaster.py',
29 args : blaster,
32 py.install_sources(blaster, pure: false)
33 py.install_sources(blaster, subdir: 'pure')
|
| /dports/emulators/qemu-devel/qemu-de8ed1055c2ce18c95f597eb10df360dcb534f99/meson/test cases/python/2 extmodule/ |
| H A D | meson.build | 21 blaster = configure_file( variable
22 input: 'blaster.py.in',
23 output: 'blaster.py',
29 args : blaster,
32 py.install_sources(blaster, pure: false)
33 py.install_sources(blaster, subdir: 'pure')
|
| /dports/net-im/toxic/toxic-0.11.3/src/ |
| H A D | game_centipede.c | 185 Blaster blaster; member
597 state->blaster.coords.x = state->blaster.start_coords.x; in cent_restart_level()
598 state->blaster.coords.y = state->blaster.start_coords.y; in cent_restart_level()
757 Blaster *blaster = &state->blaster; in cent_blaster_enemy_collision() local
772 Blaster *blaster = &state->blaster; in cent_blaster_move() local
860 Blaster blaster = state->blaster; in cent_bullet_spawn() local
1379 Blaster blaster = state->blaster; in cent_blaster_centipede_collision() local
1424 Blaster blaster = state->blaster; in cent_blaster_draw() local
1426 wattron(win, blaster.attributes | COLOR_PAIR(blaster.colour)); in cent_blaster_draw()
1427 mvwaddch(win, blaster.coords.y, blaster.coords.x, CENT_BLASTER_CHAR); in cent_blaster_draw()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | bit_blaster.cpp | 77 void tst_adder(ast_manager & m, bit_blaster & blaster) { in tst_adder() argument
88 blaster.mk_adder(3, a, b, c); in tst_adder()
101 blaster.mk_adder(3, a, b, c); in tst_adder()
114 blaster.mk_adder(3, a, b, c); in tst_adder()
134 void tst_multiplier(ast_manager & m, bit_blaster & blaster) { in tst_multiplier() argument
145 blaster.mk_multiplier(3, a, b, c); in tst_multiplier()
158 blaster.mk_multiplier(3, a, b, c); in tst_multiplier()
171 blaster.mk_multiplier(3, a, b, c); in tst_multiplier()
238 bit_blaster blaster(m, params); in tst_bit_blaster() local
240 tst_adder(m, blaster); in tst_bit_blaster()
[all …]
|
| /dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/algo/structure/cd_utils/ |
| H A D | cuDmBlastscore.cpp | 126 CdBlaster blaster(*m_aligns, GetMatrixName()); in CalcPairwiseScoresOnTheFly() local
128 blaster.useWholeSequence(true); in CalcPairwiseScoresOnTheFly()
130 blaster.setFootprintExtension(GetNTermExt(), GetCTermExt()); in CalcPairwiseScoresOnTheFly()
131 blaster.blast(pFunc); in CalcPairwiseScoresOnTheFly()
141 m_Array[j][k] = blaster.getPairwiseScore(j,k); in CalcPairwiseScoresOnTheFly()
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_bvarith_circuits.c | 90 static bit_blaster_t blaster; variable
99 init_bit_blaster(&blaster, &solver, &remap); in init()
107 delete_bit_blaster(&blaster); in cleanup()
117 return pos_lit(bit_blaster_new_var(&blaster)); in fresh_lit()
357 bit_blaster_make_bvneg(&blaster, a, u, n); in test_bvneg()
372 bit_blaster_make_bvneg(&blaster, a, u, n); in test_bvneg_const()
400 bit_blaster_make_bvadd(&blaster, a, b, u, n); in test_bvadd()
415 bit_blaster_make_bvadd(&blaster, a, b, u, n); in test_bvadd_const()
443 bit_blaster_make_bvsub(&blaster, a, b, u, n); in test_bvsub()
458 bit_blaster_make_bvsub(&blaster, a, b, u, n); in test_bvsub_const()
[all …]
|
| H A D | test_bvshift.c | 95 static bit_blaster_t blaster; variable
104 init_bit_blaster(&blaster, &solver, &remap); in init()
111 delete_bit_blaster(&blaster); in cleanup()
121 return pos_lit(bit_blaster_new_var(&blaster)); in fresh_lit()
366 bit_blaster_make_shift_left(&blaster, a, b, u, n); in test_bvshl()
389 bit_blaster_make_shift_left(&blaster, a, b, u, n); in test_bvshl_const_shift()
410 bit_blaster_make_shift_left(&blaster, a, b, u, n); in test_bvshl_const()
442 bit_blaster_make_lshift_right(&blaster, a, b, u, n); in test_bvlshr()
465 bit_blaster_make_lshift_right(&blaster, a, b, u, n); in test_bvlshr_const_shift()
486 bit_blaster_make_lshift_right(&blaster, a, b, u, n); in test_bvlshr_const()
[all …]
|