Searched refs:deadf (Results 1 – 9 of 9) sorted by relevance
| /dports/math/spot/spot-2.10.2/tests/ltsmin/ |
| H A D | modelcheck.cc | 251 spot::formula deadf = spot::formula::ff(); in checked_main() local
259 deadf = spot::formula::tt(); in checked_main()
261 deadf = spot::formula::ff(); in checked_main()
263 deadf = env.require(mc_options.dead_ap); in checked_main()
301 .kripke(&ap, dict, deadf, mc_options.compress); in checked_main()
510 .kripkecube(aps, deadf, mc_options.compress, mc_options.nb_threads); in checked_main()
|
| /dports/math/py-spot/spot-2.10.2/tests/ltsmin/ |
| H A D | modelcheck.cc | 251 spot::formula deadf = spot::formula::ff(); in checked_main() local
259 deadf = spot::formula::tt(); in checked_main()
261 deadf = spot::formula::ff(); in checked_main()
263 deadf = env.require(mc_options.dead_ap); in checked_main()
301 .kripke(&ap, dict, deadf, mc_options.compress); in checked_main()
510 .kripkecube(aps, deadf, mc_options.compress, mc_options.nb_threads); in checked_main()
|
| /dports/games/dungeon/dungeon-3.2_1/dungeon-gdt/ |
| H A D | rooms.c | 144 if (prsvec_1.prsa != 6 || findex_1.deadf || ! findex_1.broc1f || in rappli_()
514 findex_1.deadf) { in rappli_()
574 if (! (findex_1.caroff || findex_1.deadf)) { in rappli_()
581 if (prsvec_1.prsa == 6 && findex_1.carozf && ! findex_1.deadf) { in rappli_()
848 if (prsvec_1.prsa != 6 || findex_1.rvcyc == 0 || findex_1.deadf) { in rappli_()
876 if (prsvec_1.prsa != 6 || findex_1.deadf || ! hack_1.thfact) { in rappli_()
1038 if (prsvec_1.prsa != 6 || findex_1.deadf || ! findex_1.caroff) { in rappli_()
|
| H A D | game.c | 109 if (! (findex_1.echof || findex_1.deadf) && play_1.here == 49) { in game_()
345 if (prsvec_1.prswon && ! findex_1.deadf) { in xendmv_()
|
| H A D | timefnc.c | 1813 findex_1.deadf = FALSE_; in aappli_()
1996 if (hack_1.thfpos == play_1.here && ! findex_1.deadf) { in thiefd_()
2169 if (hack_1.thfpos == play_1.here && ! findex_1.deadf) { in thiefd_()
2190 if (! findex_1.deadf) { in thiefd_()
2217 if (hack_1.thfpos == play_1.here && ! findex_1.deadf) { in thiefd_()
|
| H A D | commons.h | 106 mr2f, inqstf, follwf, spellf, cpoutf, cpushf, deadf, zgnomf, matf, member
|
| H A D | subr.c | 312 findex_1.deadf = TRUE_; in jigsup_()
1621 if (findex_1.deadf || (rooms_1.rflag[*rm - 1] & 16384) != 0) { in lit_()
|
| H A D | parser.c | 2371 if (*obj == 0 || *obj > misc_1.strbit || findex_1.deadf) { in takeit_()
2498 if (findex_1.deadf) { in gwim_()
|
| H A D | verbs.c | 874 if (! findex_1.deadf) { in vappli_()
3917 if (findex_1.deadf) { in cxappl_()
4248 if (findex_1.ttie == 0 || findex_1.deadf) { in cxappl_()
|