tvm::arith::IntGroupBoundsNode Class Reference

Represent integer grouped bounds which are classified into lower bounds (inclusive), upper bounds (inclusive) and equalities. It also contains coefficient as a multiplier for the bounds, i.e., coef * var >= lower coef * var == equal coef * var <= upper. More...

#include <int_solver.h>

Inheritance diagram for tvm::arith::IntGroupBoundsNode:

Collaboration diagram for tvm::arith::IntGroupBoundsNode:

Public Member Functions
	TVM_FFI_DECLARE_OBJECT_INFO_FINAL ("arith.IntGroupBounds", IntGroupBoundsNode, ffi::Object)

Static Public Member Functions
static void	RegisterReflection ()

Public Attributes
PrimExpr	coef
ffi::Array< PrimExpr >	lower
ffi::Array< PrimExpr >	equal
ffi::Array< PrimExpr >	upper

Static Public Attributes
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

Detailed Description

Represent integer grouped bounds which are classified into lower bounds (inclusive), upper bounds (inclusive) and equalities. It also contains coefficient as a multiplier for the bounds, i.e., coef * var >= lower coef * var == equal coef * var <= upper.

See also

IntGroupBounds

Member Function Documentation

RegisterReflection()

static void tvm::arith::IntGroupBoundsNode::RegisterReflection ( )

inlinestatic

TVM_FFI_DECLARE_OBJECT_INFO_FINAL()

tvm::arith::IntGroupBoundsNode::TVM_FFI_DECLARE_OBJECT_INFO_FINAL	(	"arith.IntGroupBounds"	,
		IntGroupBoundsNode	,
		ffi::Object
	)

Member Data Documentation

_type_s_eq_hash_kind

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

staticconstexpr

coef

PrimExpr tvm::arith::IntGroupBoundsNode::coef

equal

ffi::Array<PrimExpr> tvm::arith::IntGroupBoundsNode::equal

lower

ffi::Array<PrimExpr> tvm::arith::IntGroupBoundsNode::lower

upper

ffi::Array<PrimExpr> tvm::arith::IntGroupBoundsNode::upper

---

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

• include/tvm/arith/int_solver.h