Searched refs:isl_set_complement (Results 1 – 7 of 7) sorted by relevance
93 auto *ExpPWA = getWidthExpValOnDomain(Width, isl_set_complement(NonNegDom)); in interpretAsUnsigned()
941 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set) in isl_set_complement() function
5643 set = isl_set_complement(set); in isl_set_indicator_function()
341 __isl_give isl_set *isl_set_complement(__isl_take isl_set *set);
18591 auto res = isl_set_complement(copy()); in complement()
1411 AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1])); in addUserAssumptions()1414 AssumptionCtx = isl_set_complement(ConditionSets[1]); in addUserAssumptions()
5356 __isl_give isl_set *isl_set_complement(