tvm::arith::IntSetAnalyzer Class Reference

Integer set analyzer. More...

#include <analyzer.h>

Collaboration diagram for tvm::arith::IntSetAnalyzer:

Public Member Functions
IntSet	operator() (const PrimExpr &expr, const Map< Var, IntSet > &dom_map)
	Find a symbolic integer set that contains all possible values of expr given the domain of each variables. More...

Friends
class	Analyzer

Detailed Description

Integer set analyzer.

Member Function Documentation

operator()()

IntSet tvm::arith::IntSetAnalyzer::operator()	(	const PrimExpr &	expr,
		const Map< Var, IntSet > &	dom_map
	)

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

Parameters

expr	The expression of interest.
dom_map	The domain map to indicate which variable to relax.

Returns

the result of the analysis.

Friends And Related Function Documentation

Analyzer

friend class Analyzer

friend

---

The documentation for this class was generated from the following file:

• include/tvm/arith/analyzer.h