tvm::sym::ConstIntBoundObj Class Reference

Constant integer up and lower bound(inclusive). Useful for value bound analysis. More...

#include <analyzer.h>

Inheritance diagram for tvm::sym::ConstIntBoundObj:

Collaboration diagram for tvm::sym::ConstIntBoundObj:

Public Member Functions
	TVM_FFI_DECLARE_OBJECT_INFO_FINAL ("sym.ConstIntBound", ConstIntBoundObj, ffi::Object)

Static Public Member Functions
static void	RegisterReflection ()

Public Attributes
int64_t	min_value
int64_t	max_value

Static Public Attributes
static const constexpr int64_t	kPosInf = std::numeric_limits<int64_t>::max()
	Number to represent +inf.
static const constexpr int64_t	kNegInf = -kPosInf
	Number to represent -inf.
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

Detailed Description

Constant integer up and lower bound(inclusive). Useful for value bound analysis.

set = [min_value, max_value]

Member Function Documentation

RegisterReflection()

static void tvm::sym::ConstIntBoundObj::RegisterReflection ( )

inlinestatic

TVM_FFI_DECLARE_OBJECT_INFO_FINAL()

tvm::sym::ConstIntBoundObj::TVM_FFI_DECLARE_OBJECT_INFO_FINAL	(	"sym.ConstIntBound"	,
		ConstIntBoundObj	,
		ffi::Object
	)

Member Data Documentation

_type_s_eq_hash_kind

constexpr TVMFFISEqHashKind tvm::sym::ConstIntBoundObj::_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

staticconstexpr

kNegInf

const constexpr int64_t tvm::sym::ConstIntBoundObj::kNegInf = -kPosInf

staticconstexpr

Number to represent -inf.

Note

We can make use the of fact that -kPosInf == kNegInf in the project.

kPosInf

const constexpr int64_t tvm::sym::ConstIntBoundObj::kPosInf = std::numeric_limits<int64_t>::max()

staticconstexpr

Number to represent +inf.

max_value

int64_t tvm::sym::ConstIntBoundObj::max_value

min_value

int64_t tvm::sym::ConstIntBoundObj::min_value

---

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

• include/tvm/sym/analyzer.h