Searched defs:VAMPIRE (Results 1 – 13 of 13) sorted by relevance
36 static const TransylvaniaMonster VAMPIRE; variable
63 const TransylvaniaMonster TransylvaniaGame1::VAMPIRE = { member in Glk::Comprehend::TransylvaniaGame1
63 const TransylvaniaMonster TransylvaniaGame2::VAMPIRE = { member in Glk::Comprehend::TransylvaniaGame2
6 VAMPIRE='../vampire_rel_master' variable
18 VAMPIRE= VAMPIRE_CHECK+' -p off --time_limit '+time_out variable
83 VAMPIRE, // the weight usually used in vampire, i.e. number of symbols enumerator
431 VAMPIRE enumerator512 VAMPIRE enumerator518 VAMPIRE = 1 enumerator
107 VAMPIRE, enumerator
52 VAMPIRE, enumerator
41 VAMPIRE, enumerator
194 VAMPIRE, enumerator
855 VAMPIRE, enumerator