tvm::arith::ModularSetNode Class Reference

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

#include <analyzer.h>

Inheritance diagram for tvm::arith::ModularSetNode:

Collaboration diagram for tvm::arith::ModularSetNode:

Public Member Functions
	TVM_DECLARE_FINAL_OBJECT_INFO (ModularSetNode, Object)

Static Public Member Functions
static void	RegisterReflection ()

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

Static Public Attributes
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode
static constexpr const char *	_type_key = "arith.ModularSet"

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::arith::ModularSetNode::RegisterReflection ( )

inlinestatic

TVM_DECLARE_FINAL_OBJECT_INFO()

tvm::arith::ModularSetNode::TVM_DECLARE_FINAL_OBJECT_INFO	(	ModularSetNode	,
		Object
	)

Member Data Documentation

_type_key

constexpr const char* tvm::arith::ModularSetNode::_type_key = "arith.ModularSet"

staticconstexpr

_type_s_eq_hash_kind

constexpr TVMFFISEqHashKind tvm::arith::ModularSetNode::_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

staticconstexpr

base

int64_t tvm::arith::ModularSetNode::base

The base.

coeff

int64_t tvm::arith::ModularSetNode::coeff

linear co-efficient

---

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

• include/tvm/arith/analyzer.h