Class IntSetAnalyzer

• Defined in File analyzer.h

Class Documentation

class IntSetAnalyzer

Integer set analyzer.

Public Functions

IntSet operator()(const PrimExpr &expr, const ffi::Map<Var, IntSet> &dom_map)

Find a symbolic integer set that contains all possible values of expr given the supplied variable domains.

Parameters:

• expr – The expression of interest.

• dom_map – The variable domains to relax; variables absent from the map remain symbolic.

Returns:

the result of the analysis.

IntSet operator()(const PrimExpr &expr)

Find a symbolic integer set that contains all possible values of expr using current bindings, ranges, and recognized predicates.

Parameters:

expr – The expression of interest.

Returns:

the result of the analysis.