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

Contents

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

Defined in File int_set.h

Function Documentation#

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

Find an symbolic integer set that contains is union over all the possible conditional values in dom_map.

Parameters:

s – The initial set.
dom_map – The domain of each variable.

Returns:

An integer set that can cover all the possible values.