Searched refs:def_random (Results 1 – 1 of 1) sorted by relevance
168 def_random enumerator184 if (mode == def_random) { in conf_set_all_new_symbols()246 case def_random: in conf_set_all_new_symbols()260 if (!(sym_is_choice(sym) && mode == def_random)) in conf_set_all_new_symbols()280 if (mode != def_random) { in conf_set_all_new_symbols()293 if (mode == def_random) in conf_set_all_new_symbols()857 while (conf_set_all_new_symbols(def_random)) ; in main()
