Home
last modified time | relevance | path

Searched defs:VAMPIRE (Results 1 – 13 of 13) sorted by relevance

/dports/games/scummvm/scummvm-2.5.1/engines/glk/comprehend/
H A Dgame_tr1.h36 static const TransylvaniaMonster VAMPIRE; variable
H A Dgame_tr2.h36 static const TransylvaniaMonster VAMPIRE; variable
H A Dgame_tr1.cpp63 const TransylvaniaMonster TransylvaniaGame1::VAMPIRE = { member in Glk::Comprehend::TransylvaniaGame1
H A Dgame_tr2.cpp63 const TransylvaniaMonster TransylvaniaGame2::VAMPIRE = { member in Glk::Comprehend::TransylvaniaGame2
/dports/math/vampire/vampire-4.5.1/scripts/
H A Dgenerate_proof_checking_problems.py6 VAMPIRE='../vampire_rel_master' variable
H A Dproof_checker.py18 VAMPIRE= VAMPIRE_CHECK+' -p off --time_limit '+time_out variable
/dports/math/vampire/vampire-4.5.1/Shell/
H A DInterpolantsNew.hpp83 VAMPIRE, // the weight usually used in vampire, i.e. number of symbols enumerator
H A DOptions.hpp431 VAMPIRE enumerator
512 VAMPIRE enumerator
518 VAMPIRE = 1 enumerator
/dports/games/fheroes2/fheroes2-0.9.11/src/fheroes2/monster/
H A Dmonster.h107 VAMPIRE, enumerator
/dports/games/barony/Barony-3.3.7/src/
H A Dstat_editor.hpp52 VAMPIRE, enumerator
H A Dmonster.hpp41 VAMPIRE, enumerator
/dports/math/vampire/vampire-4.5.1/Parse/
H A DTPTP.hpp194 VAMPIRE, enumerator
/dports/games/fheroes2/fheroes2-0.9.11/src/fheroes2/agg/
H A Dicn.h855 VAMPIRE, enumerator