tvm::sym::ModularSetObj Class Reference

Range of a linear integer function. Use to do specify the possible index values. More...

#include <analyzer.h>

Inheritance diagram for tvm::sym::ModularSetObj:

Collaboration diagram for tvm::sym::ModularSetObj:

Public Member Functions
	TVM_FFI_DECLARE_OBJECT_INFO_FINAL ("sym.ModularSet", ModularSetObj, ffi::Object)

Static Public Member Functions
static void	RegisterReflection ()

Public Attributes
int64_t	coeff
	linear co-efficient
int64_t	base
	The base.

Static Public Attributes
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

Detailed Description

Range of a linear integer function. Use to do specify the possible index values.

set = { coeff * x + base | x in Z }

When coeff != 0, it can also be written as set = { n | n % coeff == base }

This is useful to decide if the index is dividable by certain value. For example, if index = 0 + 4 x, then we know it can be divided by 4.

Member Function Documentation

RegisterReflection()

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

inlinestatic

TVM_FFI_DECLARE_OBJECT_INFO_FINAL()

tvm::sym::ModularSetObj::TVM_FFI_DECLARE_OBJECT_INFO_FINAL	(	"sym.ModularSet"	,
		ModularSetObj	,
		ffi::Object
	)

Member Data Documentation

_type_s_eq_hash_kind

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

staticconstexpr

base

int64_t tvm::sym::ModularSetObj::base

The base.

coeff

int64_t tvm::sym::ModularSetObj::coeff

linear co-efficient

---

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

• include/tvm/sym/analyzer.h