Function tvm::sym::EvalSet(PrimExpr, const ffi::Map&)

Contents

Function tvm::sym::EvalSet(PrimExpr, const ffi::Map<Var, IntSet>&)#

Defined in File int_set.h

Function Documentation#

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

Find an symbolic integer set that contains all possible values of e given the domain of each variables.

Parameters:

e – The expression to be evaluated.
dom_map – The domain of each variable.

Returns:

An integer set that can cover all the possible values of e.