Searched refs:t_num_vars (Results 1 – 2 of 2) sorted by relevance
997 Prolog_term_ref t_num_vars,
2669 Prolog_term_ref t_num_vars, in ppl_PIP_Problem_add_space_dimensions_and_embed() argument2676 dimension_type nv = term_to_unsigned<dimension_type>(t_num_vars, where); in ppl_PIP_Problem_add_space_dimensions_and_embed()