Lines Matching refs:rational
81 tab->rational = 0; in isl_tab_alloc()
289 dup->rational = tab->rational; in isl_tab_dup()
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL); in isl_tab_product()
542 prod->rational = tab1->rational; in isl_tab_product()
989 if (!tab->rational && tab->need_undo) in isl_tab_mark_rational()
992 tab->rational = 1; in isl_tab_mark_rational()
1603 if (tab->rational) in tab_is_manifestly_empty()
2409 tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); in isl_tab_from_basic_map()
2461 tab->rational = ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL); in isl_tab_from_recession_cone()
2658 if (!tab->rational && in isl_basic_map_update_from_tab()
2927 return tab->rational ? isl_int_is_zero(tab->mat->row[row][1]) in may_be_equality()
3020 } else if (!tab->rational && !at_least_one(tab, var)) { in isl_tab_detect_implicit_equalities()
3246 if (tab->rational) { in con_is_redundant()
3653 if (tab->rational) in isl_tab_is_constant()
3671 if (tab->rational) in isl_tab_detect_constants()
3982 tab->rational = 0; in perform_undo()
4066 if (tab->rational) in separation_type()
4123 (tab->rational || in isl_tab_ineq_type()
4201 if (tab->rational) in isl_tab_print_internal()