Lines Matching defs:bound_two
70 mpz_t bound_one, bound_two; member
79 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
841 mpz_t bound_one, bound_two; in type_for_clast_for() local
907 mpz_t bound_one, bound_two; in build_iv_mapping() local
1151 mpz_t bound_one, bound_two; in translate_clast_assignment() local
1598 mpz_t bound_one, bound_two; in create_params_index() local