pub fn estimate_region_strict_bound(
region: impl IntoIterator<Item = impl Into<Range>>,
var_dom: &Map<Var, Range>,
predicate: impl IntoExpr,
analyzer: Option<&Analyzer>,
) -> Result<Option<Array<IntSet>>>Expand description
The exact region a set of affine accesses covers, given the domains of their variables and a
predicate; None when the accesses are not affine (sym.EstimateRegionStrictBound).