Searched refs:def_random (Results 1 – 3 of 3) sorted by relevance
1006 case def_random: in conf_set_all_new_symbols()1013 if (!(sym_is_choice(sym) && mode == def_random)) in conf_set_all_new_symbols()1038 if (mode == def_random) in conf_set_all_new_symbols()
57 def_random enumerator
592 conf_set_all_new_symbols(def_random); in main()