tvm_tirx::sym::int_set

Function deduce_bound

Source 
pub fn deduce_bound(
    var: impl IntoExpr,
    cond: impl IntoExpr,
    hint_map: &Map<Var, IntSet>,
    relax_map: &Map<Var, IntSet>,
) -> Result<IntSet>
Expand description

The values of var for which cond holds, with the variables of hint_map over their sets and those of relax_map relaxed to theirs (sym.DeduceBound).