tvm::arith::IntGroupBounds Class Reference

Managed reference to IntGroupBoundsNode. More...

#include <int_solver.h>

Inheritance diagram for tvm::arith::IntGroupBounds:

Collaboration diagram for tvm::arith::IntGroupBounds:

Public Member Functions
	IntGroupBounds (PrimExpr coef, ffi::Array< PrimExpr > lower, ffi::Array< PrimExpr > equal, ffi::Array< PrimExpr > upper)
	Constructor by fields. More...
IntGroupBounds	Substitute (const ffi::Map< Var, PrimExpr > &subst) const
	Perform substitution on all components of the struct. More...
Range	FindBestRange (const ffi::Map< Var, Range > &vranges_addl={}) const
	Find the best range from the grouped bounds. More...
IntGroupBounds	operator+ (const Range &r)
	Combine the bounds with another range. More...
	TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE (IntGroupBounds, ObjectRef, IntGroupBoundsNode)

Static Public Member Functions
static IntGroupBounds	FromRange (const Range &r)
	Construct bounds from a range. More...

Detailed Description

Managed reference to IntGroupBoundsNode.

See also

IntGroupBoundsNode

Constructor & Destructor Documentation

IntGroupBounds()

tvm::arith::IntGroupBounds::IntGroupBounds	(	PrimExpr	coef,
		ffi::Array< PrimExpr >	lower,
		ffi::Array< PrimExpr >	equal,
		ffi::Array< PrimExpr >	upper
	)

Constructor by fields.

Parameters

coef	The coefficient. Must be integer. coef * var >= lower coef * var == equal coef * var >= upper
lower	the lower bounds (include)
equal	equalities
upper	the upper bounds (include)

Member Function Documentation

FindBestRange()

Range tvm::arith::IntGroupBounds::FindBestRange

(

const ffi::Map< Var, Range > &

vranges_addl = {}

)

const

Find the best range from the grouped bounds.

Parameters

vranges_addl

additional variable ranges that help infer the best range.

Returns

The best range (has the least difference between the lower bound and upper bound). undefined if (-inf, +inf).

FromRange()

static IntGroupBounds tvm::arith::IntGroupBounds::FromRange ( const Range &  r )

static

Construct bounds from a range.

Parameters

r

The range

Returns

constructed bounds.

operator+()

IntGroupBounds tvm::arith::IntGroupBounds::operator+

(

const Range &

r

)

Combine the bounds with another range.

Parameters

r	range to be combined.

Returns

combined bounds.

Substitute()

IntGroupBounds tvm::arith::IntGroupBounds::Substitute

(

const ffi::Map< Var, PrimExpr > &

subst

)

const

Perform substitution on all components of the struct.

TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE()

tvm::arith::IntGroupBounds::TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE	(	IntGroupBounds	,
		ObjectRef	,
		IntGroupBoundsNode
	)

---

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

• include/tvm/arith/int_solver.h