reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
697 todo = isl_calloc_type(tab->mat->ctx, struct isl_facet_todo); 698 if (!todo) 701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var); 702 if (!todo->constraint) 704 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); 705 todo->bset = isl_basic_set_copy(isl_tab_peek_bset(tab)); 706 todo->bset = isl_basic_set_set_rational(todo->bset); 706 todo->bset = isl_basic_set_set_rational(todo->bset); 707 todo->bset = isl_basic_set_cow(todo->bset); 707 todo->bset = isl_basic_set_cow(todo->bset); 708 todo->bset = isl_basic_set_update_from_tab(todo->bset, tab); 708 todo->bset = isl_basic_set_update_from_tab(todo->bset, tab); 709 todo->bset = isl_basic_set_simplify(todo->bset); 709 todo->bset = isl_basic_set_simplify(todo->bset); 710 todo->bset = isl_basic_set_sort_constraints(todo->bset); 710 todo->bset = isl_basic_set_sort_constraints(todo->bset); 711 if (!todo->bset) 713 ISL_F_SET(todo->bset, ISL_BASIC_SET_NORMALIZED); 714 todo->tab = isl_tab_dup(tab); 715 if (!todo->tab) 724 return todo; 726 free_todo(todo);