Searched refs:F_saved (Results 1 – 1 of 1) sorted by relevance
63 GBR_type F_saved; in isl_tab_compute_reduced_basis() local100 GBR_init(F_saved); in isl_tab_compute_reduced_basis()161 GBR_set(F_new, F_saved); in isl_tab_compute_reduced_basis()241 GBR_set(F_saved, F_new); in isl_tab_compute_reduced_basis()293 GBR_clear(F_saved); in isl_tab_compute_reduced_basis()