Searched defs:num_of_variables (Results 1 – 1 of 1) sorted by relevance
170 int num_of_variables; in is_pk_correct() local416 int num_of_variables; in generate_proof() local