Function tvm::sym::EvalSetForEachSubExpr

• Defined in File int_set.h

Function Documentation

ExprIntSetMap tvm::sym::EvalSetForEachSubExpr(PrimExpr e, const ffi::Map<Var, IntSet> &dom_map)

Find the integer set of every sub-expression, given the domain of each iteration variables.

Parameters:

• e – The expression to be evaluated.

• dom_map – The domain of each variable.

Returns:

the map from the expression to its possible value.