Searched refs:MapDom (Results 1 – 1 of 1) sorted by relevance
323 isl::set MapDom = Map.domain(); in singleLocation() local324 if (!Domain.is_subset(MapDom).is_true()) in singleLocation()