tvm_tirx::sym

Module int_set

Source
Expand description

Sets of integers.

The objects python/tvm_tirx/sym/int_set.py defines. IntSet is the base, and an IntervalSet is the interval between its min_value and max_value. The functions of int_set.py are here too: region bound estimation, bound deduction and the symbolic infinities.

Structs§

  • IntSet
  • IntSetObj
    Opaque: no metadata of its own: total_size is unknown. Fields are read through the C ABI getters.
  • IntervalSet
  • IntervalSetObj
    Opaque: parent ‘sym.IntSet’ is opaque (layout-unknown). Fields are read through the C ABI getters.

Functions§

  • deduce_bound
    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).
  • estimate_region_lower_bound
    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).
  • estimate_region_strict_bound
    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).
  • estimate_region_upper_bound
    A region that holds what a set of accesses covers, given the domains of their variables and a predicate (sym.EstimateRegionUpperBound).
  • neg_inf
    The symbolic negative infinity (sym.NegInf).
  • pos_inf
    The symbolic positive infinity (sym.PosInf).
  • union_lower_bound
    A subset of the union of sets, which may drop some of their segments (sym.UnionLowerBound).