Searched defs:bound_two (Results 1 – 1 of 1) sorted by relevance
70 mpz_t bound_one, bound_two; member79 mpz_t bound_one, mpz_t bound_two) in new_clast_name_index()161 mpz_t bound_two) in clast_name_to_lb_ub()189 int index, int level, mpz_t bound_one, mpz_t bound_two) in save_clast_name_index()447 type_for_interval (mpz_t bound_one, mpz_t bound_two) in type_for_interval()502 mpz_t bound_two) in type_for_clast_term()541 mpz_t bound_one, mpz_t bound_two) in type_for_clast_red()601 mpz_t bound_two) in type_for_clast_bin()648 mpz_t bound_two) in type_for_clast_expr()676 mpz_t bound_one, bound_two; in type_for_clast_eq() local[all …]