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