Lines Matching defs:bound_one
70 mpz_t bound_one, bound_two; member
79 mpz_t bound_one, mpz_t bound_two) in new_clast_name_index()
160 clast_name_to_lb_ub (clast_name_p name, htab_t index_table, mpz_t bound_one, 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()
501 type_for_clast_term (struct clast_term *t, ivs_params_p ip, mpz_t bound_one, in type_for_clast_term()
541 mpz_t bound_one, mpz_t bound_two) in type_for_clast_red()
600 type_for_clast_bin (struct clast_binary *b, ivs_params_p ip, mpz_t bound_one, in type_for_clast_bin()
647 type_for_clast_expr (struct clast_expr *e, ivs_params_p ip, mpz_t bound_one, 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