Lines Matching refs:getEmptySet
476 return getEmptySet(); in intersect()
492 return getEmptySet(); in intersect()
505 return getEmptySet(); in intersect()
589 return getEmptySet(); in intersect()
598 return getEmptySet(); in intersect()
607 return getEmptySet(); in intersect()
612 return getEmptySet(); in negate()
1380 return RangeFactory.getEmptySet(); in VisitBinaryOperator()
1746 return RangeFactory.getEmptySet(); in VisitBinaryOperator()
2410 return F.add(F.getEmptySet(), getRepresentativeSymbol()); in getClassMembers()
2477 ClassSet NewSet = CurrentSet ? *CurrentSet : CF.getEmptySet(); in addToDisequalityInfo()
2673 return Factory.getEmptySet(); in getDisequalClasses()
2999 return F.getEmptySet(); in getSymLTRange()
3010 return F.getEmptySet(); in getSymLTRange()
3040 return F.getEmptySet(); in getSymGTRange()
3047 return F.getEmptySet(); in getSymGTRange()
3077 return F.getEmptySet(); in getSymGERange()
3110 return F.getEmptySet(); in getSymLERange()