reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
771 if (!bset || !sol->empty) 775 bset = isl_basic_set_simplify(bset); 775 bset = isl_basic_set_simplify(bset); 776 bset = isl_basic_set_finalize(bset); 776 bset = isl_basic_set_finalize(bset); 777 sol->empty = isl_set_add_basic_set(sol->empty, isl_basic_set_copy(bset)); 780 isl_basic_set_free(bset); 783 isl_basic_set_free(bset);