Searched defs:num_disc_string_vars (Results 1 – 2 of 2) sorted by relevance
52 int num_disc_string_vars, in check_variables()79 int num_disc_string_vars, in check_variables()
808 int num_disc_string_vars = vars.dsv(); in set_variables() local