tvm::sym::CanonicalSimplifier Class Reference

Canonical-form based simplifier. More...

#include <analyzer.h>

Collaboration diagram for tvm::sym::CanonicalSimplifier:

Public Member Functions
TVM_TIRX_DLL PrimExpr	operator() (const PrimExpr &expr)
	analyze the expr
TVM_TIRX_DLL void	Update (const Var &var, const PrimExpr &new_expr, bool allow_override=false)
	Update binding of var to a new expression.

Friends
class	AnalyzerObj
class	ConstraintContext

Detailed Description

Canonical-form based simplifier.

Member Function Documentation

operator()()

TVM_TIRX_DLL PrimExpr tvm::sym::CanonicalSimplifier::operator()

(

const PrimExpr &

expr

)

analyze the expr

Parameters

expr	The expression of interest.

Returns

the result of the analysis.

Update()

TVM_TIRX_DLL void tvm::sym::CanonicalSimplifier::Update	(	const Var &	var,
		const PrimExpr &	new_expr,
		bool	allow_override = false
	)

Update binding of var to a new expression.

Parameters

var	The variable of interest.
new_expr
allow_override	whether we allow override of existing information.

Friends And Related Symbol Documentation

AnalyzerObj

friend class AnalyzerObj

friend

ConstraintContext

friend class ConstraintContext

friend

---

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

• include/tvm/sym/analyzer.h