tvm
|
Managed reference to IntGroupBoundsNode. More...
#include <int_solver.h>
Public Member Functions | |
IntGroupBounds (PrimExpr coef, Array< PrimExpr > lower, Array< PrimExpr > equal, Array< PrimExpr > upper) | |
Constructor by fields. More... | |
IntGroupBounds | Substitute (const Map< Var, PrimExpr > &subst) const |
Perform substitution on all components of the struct. More... | |
Range | FindBestRange (const 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_DEFINE_OBJECT_REF_METHODS (IntGroupBounds, ObjectRef, IntGroupBoundsNode) | |
![]() | |
ObjectRef ()=default | |
default constructor More... | |
ObjectRef (ObjectPtr< Object > data) | |
Constructor from existing object ptr. More... | |
bool | same_as (const ObjectRef &other) const |
Comparator. More... | |
bool | operator== (const ObjectRef &other) const |
Comparator. More... | |
bool | operator!= (const ObjectRef &other) const |
Comparator. More... | |
bool | operator< (const ObjectRef &other) const |
Comparator. More... | |
bool | defined () const |
const Object * | get () const |
const Object * | operator-> () const |
bool | unique () const |
int | use_count () const |
template<typename ObjectType > | |
const ObjectType * | as () const |
Try to downcast the internal Object to a raw pointer of a corresponding type. More... | |
Static Public Member Functions | |
static IntGroupBounds | FromRange (const Range &r) |
Construct bounds from a range. More... | |
Additional Inherited Members | |
![]() | |
using | ContainerType = Object |
type indicate the container type. More... | |
![]() | |
static constexpr bool | _type_is_nullable = true |
![]() | |
Object * | get_mutable () const |
![]() | |
template<typename T > | |
static T | DowncastNoCheck (ObjectRef ref) |
Internal helper function downcast a ref without check. More... | |
static void | FFIClearAfterMove (ObjectRef *ref) |
Clear the object ref data field without DecRef after we successfully moved the field. More... | |
template<typename ObjectType > | |
static ObjectPtr< ObjectType > | GetDataPtr (const ObjectRef &ref) |
Internal helper function get data_ as ObjectPtr of ObjectType. More... | |
![]() | |
ObjectPtr< Object > | data_ |
Internal pointer that backs the reference. More... | |
Managed reference to IntGroupBoundsNode.
tvm::arith::IntGroupBounds::IntGroupBounds | ( | PrimExpr | coef, |
Array< PrimExpr > | lower, | ||
Array< PrimExpr > | equal, | ||
Array< PrimExpr > | upper | ||
) |
Constructor by fields.
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) |
Range tvm::arith::IntGroupBounds::FindBestRange | ( | const Map< Var, Range > & | vranges_addl = {} | ) | const |
Find the best range from the grouped bounds.
vranges_addl | additional variable ranges that help infer the best range. |
|
static |
Construct bounds from a range.
r | The range |
IntGroupBounds tvm::arith::IntGroupBounds::operator+ | ( | const Range & | r | ) |
Combine the bounds with another range.
r | range to be combined. |
IntGroupBounds tvm::arith::IntGroupBounds::Substitute | ( | const Map< Var, PrimExpr > & | subst | ) | const |
Perform substitution on all components of the struct.
tvm::arith::IntGroupBounds::TVM_DEFINE_OBJECT_REF_METHODS | ( | IntGroupBounds | , |
ObjectRef | , | ||
IntGroupBoundsNode | |||
) |