/dports/math/spot/spot-2.10.2/tests/ltsmin/ |
H A D | check.test | 55 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 59 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 63 run 1 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 74 run 2 ../modelcheck --model beem-peterson.4.dve2C \ 84 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 89 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 94 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 98 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 104 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 110 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ [all …]
|
H A D | check3.test | 35 run 1 ../modelcheck $opt --is-empty --model $srcdir/beem-peterson.4.gal \ 37 run 1 ../modelcheck $opt --is-empty --model $srcdir/beem-peterson.4.gal \
|
H A D | kripke.test | 42 ../modelcheck --kripke --model $srcdir/beem-peterson.4.dve \
|
/dports/math/py-spot/spot-2.10.2/tests/ltsmin/ |
H A D | check.test | 55 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 59 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 63 run 1 ../modelcheck --is-empty $opt --model $srcdir/beem-peterson.4.dve \ 74 run 2 ../modelcheck --model beem-peterson.4.dve2C \ 84 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 89 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 94 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 98 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 104 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ 110 run 0 ../modelcheck --model $srcdir/beem-peterson.4.dve \ [all …]
|
H A D | check3.test | 35 run 1 ../modelcheck $opt --is-empty --model $srcdir/beem-peterson.4.gal \ 37 run 1 ../modelcheck $opt --is-empty --model $srcdir/beem-peterson.4.gal \
|
H A D | kripke.test | 42 ../modelcheck --kripke --model $srcdir/beem-peterson.4.dve \
|
/dports/games/dungeoncrawl/dc400b26-src/source/ |
H A D | monstuff.cc | 2321 beem.range = 4; in handle_special_ability() 2322 beem.rangeMax = 13; in handle_special_ability() 2324 beem.colour = RED; in handle_special_ability() 2327 beem.hit = 20; in handle_special_ability() 2360 beem.hit = 150; in handle_special_ability() 2364 beem.range = 4; in handle_special_ability() 2477 beem.range = 9; in handle_special_ability() 2478 beem.rangeMax = 9; in handle_special_ability() 2479 beem.hit = 14; in handle_special_ability() 3305 if (adjacent( beem.target_x, beem.target_y, monster->x, monster->y )) in handle_throw() [all …]
|
H A D | mstuff2.cc | 67 struct bolt beem; in mons_trap() local 95 beem.colour = OBJ_MISSILES; in mons_trap() 96 beem.type = MI_DART; in mons_trap() 103 beem.type = MI_NEEDLE; in mons_trap() 110 beem.type = MI_ARROW; in mons_trap() 116 beem.colour = OBJ_WEAPONS; in mons_trap() 117 beem.type = WPN_SPEAR; in mons_trap() 124 beem.type = MI_BOLT; in mons_trap() 130 beem.colour = OBJ_WEAPONS; in mons_trap() 131 beem.type = WPN_HAND_AXE; in mons_trap() [all …]
|
H A D | spells1.cc | 321 struct bolt beem; in stinking_cloud() local 342 beem.colour = GREEN; in stinking_cloud() 343 beem.range = 6; in stinking_cloud() 344 beem.rangeMax = 6; in stinking_cloud() 346 beem.hit = 20; in stinking_cloud() 347 beem.type = SYM_ZAP; in stinking_cloud() 349 beem.ench_power = pow; in stinking_cloud() 352 beem.aux_source = NULL; in stinking_cloud() 353 beem.isBeam = false; in stinking_cloud() 354 beem.isTracer = false; in stinking_cloud() [all …]
|
H A D | spells4.cc | 1894 struct bolt beem; in cast_evaporate() local 1933 beem.range = 9; in cast_evaporate() 1934 beem.rangeMax = 9; in cast_evaporate() 1935 beem.type = SYM_FLASK; in cast_evaporate() 1938 beem.aux_source = NULL; in cast_evaporate() 1939 beem.isBeam = false; in cast_evaporate() 1940 beem.isTracer = false; in cast_evaporate() 1952 beem.ench_power *= 2; in cast_evaporate() 1957 beem.ench_power *= 2; in cast_evaporate() 1966 beem.ench_power *= 2; in cast_evaporate() [all …]
|
/dports/games/stonesoup/crawl-0.27.1/crawl-ref/source/ |
H A D | spl-miscast.cc | 71 bolt beem; in _ouch() local 73 beem.flavour = flavour; in _ouch() 74 beem.source_name = cause; in _ouch() 75 beem.damage = dice_def(1, dam); in _ouch() 101 dam = mons_adjust_flavoured(mon_target, beem, dam, true); in _ouch() 107 mon_target->hurt(source, dam, beem.flavour, KILLED_BY_BEAM, in _ouch() 116 dam = check_your_resists(dam, flavour, cause, &beem); in _ouch()
|
H A D | mon-act.cc | 1105 bolt beem; in _handle_wand() local 1113 beem.source = mons.pos(); in _handle_wand() 1114 beem.aux_source = in _handle_wand() 1124 beem.damage.size = beem.damage.size * 2 / 3; in _handle_wand() 1128 fire_tracer(&mons, beem); in _handle_wand() 1238 beem.damage = dice_def(10, 10); in handle_throw() 1241 beem.item = missile; in handle_throw() 1287 fire_tracer(mons, beem); in handle_throw() 1290 beem.damage = dice_def(); in handle_throw() 1304 beem.name.clear(); in handle_throw() [all …]
|
H A D | mon-abil.cc | 989 bolt beem = setup_targetting_beam(*mons); in mon_special_ability() local 990 beem.target = foe->pos(); in mon_special_ability() 991 setup_mons_cast(mons, beem, SPELL_THORN_VOLLEY); in mon_special_ability() 993 fire_tracer(mons, beem); in mon_special_ability() 994 if (mons_should_fire(beem)) in mon_special_ability() 997 _mons_cast_abil(mons, beem, SPELL_THORN_VOLLEY); in mon_special_ability() 1020 bolt beem; // unused in mon_special_ability() local 1021 _mons_cast_abil(mons, beem, SPELL_WALL_OF_BRAMBLES); in mon_special_ability()
|
H A D | god-passive.cc | 1230 bolt beem; in dithmenos_shadow_throw() local 1231 beem.set_target(d); in dithmenos_shadow_throw() 1232 setup_monster_throw_beam(mon, beem); in dithmenos_shadow_throw() 1233 beem.item = &env.item[mon->inv[MSLOT_MISSILE]]; in dithmenos_shadow_throw() 1234 mons_throw(mon, beem, mon->inv[MSLOT_MISSILE]); in dithmenos_shadow_throw() 1276 bolt beem; in dithmenos_shadow_spell() local 1277 beem.target = target; in dithmenos_shadow_spell() 1278 beem.aimed_at_spot = orig_beam->aimed_at_spot; in dithmenos_shadow_spell() 1282 mons_cast(mon, beem, shadow_spell, MON_SPELL_WIZARD, false); in dithmenos_shadow_spell()
|
H A D | mon-act.h | 33 bool handle_throw(monster* mons, bolt &beem, bool teleport, bool check_only);
|
H A D | fineff.h | 259 explosion_fineff(const bolt &beem, string boom, string sanct, in explosion_fineff() argument 261 : final_effect(0, 0, coord_def()), beam(beem), in explosion_fineff()
|
H A D | mon-cast.cc | 3691 fire_tracer(&mons, beem, explode); in _should_cast_spell() 3785 bolt &beem, in _target_and_justify_spell() argument 3790 setup_mons_cast(&mons, beem, spell); in _target_and_justify_spell() 3811 const actor *victim = actor_at(beem.target); in _target_and_justify_spell() 3813 beem.can_knockback(*victim) in _target_and_justify_spell() 3850 bolt orig_beem = beem; in _choose_spell_to_cast() 3871 beem = targ_beam; in _choose_spell_to_cast() 3905 beem = orig_beem; in _choose_spell_to_cast() 3949 bolt beem = setup_targetting_beam(*mons); in handle_mon_spell() local 3986 beem.target = mons->target; in handle_mon_spell() [all …]
|
H A D | monster.cc | 6202 bolt beem; in steal_item_from_player() local 6203 beem.source = pos(); in steal_item_from_player() 6204 beem.target = pos(); in steal_item_from_player() 6205 beem.source_id = mid; in steal_item_from_player() 6213 mons_cast_noise(this, beem, SPELL_BLINK, MON_SPELL_WIZARD); in steal_item_from_player() 6218 mons_cast(this, beem, SPELL_TELEPORT_SELF, MON_SPELL_WIZARD); in steal_item_from_player()
|
H A D | spl-cast.cc | 2552 bolt beem; in spell_noise_string() local 2553 zappy(zap, 0, false, beem); in spell_noise_string() 2554 effect_noise = beem.loudness; in spell_noise_string()
|
/dports/math/spot/spot-2.10.2/bin/ |
H A D | genltl.cc | 134 OPT_ALIAS(beem-patterns),
|
/dports/math/py-spot/spot-2.10.2/bin/ |
H A D | genltl.cc | 134 OPT_ALIAS(beem-patterns),
|
/dports/math/spot/spot-2.10.2/tests/ |
H A D | Makefile.am | 512 EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/beem-peterson.4.gal \
|
/dports/math/py-spot/spot-2.10.2/tests/ |
H A D | Makefile.am | 512 EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/beem-peterson.4.gal \
|
/dports/science/gnudatalanguage/gdl-1.0.1/testsuite/ |
H A D | test_container.pro | 196 txt = ' OC has beem unloaded (.remove,/all) and reloaded (octest, oclist, occont) '
|
/dports/math/spot/spot-2.10.2/doc/org/ |
H A D | genltl.org | 63 --p-patterns[=RANGE], --beem-patterns[=RANGE], --p[=RANGE] 360 # LocalWords: kr DBA nlogn quasilinear kv Xb XXb XXXb FGa GFb beem
|