pub fn estimate_region_lower_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 region a set of affine accesses covers at least, given the domains of their variables and
a predicate; None when the accesses are not affine (sym.EstimateRegionLowerBound).