```python def estimate_region_lower_bound(region, var_dom, predicate): """Analyze the region with affine map, given the domain of variables and their predicate
Parameters ---------- region : List[Range] The region to be analyzed. var_dom : Dict[Var, Range] The ranges of the variables predicate : PrimExpr The predicate for the affine map Returns ---------- region_int_set : Optional[List[IntSet]] None if the detection fails, or an array of IntSets as the result of analysis """ ``` Perhaps this interface can help the purpose. --- [Visit Topic](https://discuss.tvm.apache.org/t/how-to-generate-a-region-from-for-loop-iter-var-and-predicate/11838/2) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/3b20ed20f416c6285692d111ceafe193666d94f457535668809412907e5f9389).