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