tvm::sym::IntSetAnalyzer Class Reference

Integer set analyzer. More...

#include <analyzer.h>

Collaboration diagram for tvm::sym::IntSetAnalyzer:

Public Member Functions
TVM_TIRX_DLL 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 domain of each variables.
TVM_TIRX_DLL IntSet	operator() (const PrimExpr &expr)
	Find a symbolic integer set that contains all possible values of expr given the domain of each variables, using the domain map defined by bound variables.
TVM_TIRX_DLL void	Update (const Var &var, const IntSet &new_interval_set, bool allow_override=false)
	Update binding of var to a new expression.
TVM_TIRX_DLL void	Bind (const Var &var, const Range &new_range, bool allow_override=false)
	Update binding of var to a new expression.
std::function< void()>	EnterConstraint (const PrimExpr &constraint)

Friends
class	AnalyzerObj

Detailed Description

Integer set analyzer.

Member Function Documentation

Bind()

TVM_TIRX_DLL void tvm::sym::IntSetAnalyzer::Bind	(	const Var &	var,
		const Range &	new_range,
		bool	allow_override = false
	)

Update binding of var to a new expression.

Parameters

var	The variable of interest.
new_range	The range of allowed values for this var.
allow_override	whether we allow override of existing information.

EnterConstraint()

std::function< void()> tvm::sym::IntSetAnalyzer::EnterConstraint

(

const PrimExpr &

constraint

)

operator()() [1/2]

TVM_TIRX_DLL IntSet tvm::sym::IntSetAnalyzer::operator()

(

const PrimExpr &

expr

)

Find a symbolic integer set that contains all possible values of expr given the domain of each variables, using the domain map defined by bound variables.

Parameters

expr	The expression of interest.

Returns

the result of the analysis.

operator()() [2/2]

TVM_TIRX_DLL IntSet tvm::sym::IntSetAnalyzer::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 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.

Update()

TVM_TIRX_DLL void tvm::sym::IntSetAnalyzer::Update	(	const Var &	var,
		const IntSet &	new_interval_set,
		bool	allow_override = false
	)

Update binding of var to a new expression.

Parameters

var	The variable of interest.
new_interval_set	The set of allowed values for this var.
allow_override	whether we allow override of existing information.

Friends And Related Symbol Documentation

AnalyzerObj

friend class AnalyzerObj

friend

---

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

• include/tvm/sym/analyzer.h