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 ffi::Map< Var, IntSet > &dom_map)
	Find a symbolic integer set that contains all possible values of expr given the domain of each variables.
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.
void	Update (const Var &var, const IntSet &new_interval_set, bool allow_override=false)
	Update binding of var to a new expression.
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()

void tvm::arith::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::arith::IntSetAnalyzer::EnterConstraint

(

const PrimExpr &

constraint

)

operator()() [1/2]

IntSet tvm::arith::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]

IntSet tvm::arith::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()

void tvm::arith::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/arith/analyzer.h