Searched refs:ConsCondPart1 (Results 1 – 1 of 1) sorted by relevance
477 isl_set *ConsCondPart1 = ConditionSets.pop_back_val(); in buildConditionSets() local480 ConsequenceCondSet = isl_set_intersect(ConsCondPart0, ConsCondPart1); in buildConditionSets()482 ConsequenceCondSet = isl_set_union(ConsCondPart0, ConsCondPart1); in buildConditionSets()