Class BindingConstraintObj

• Defined in File constraint.h

Inheritance Relationships

Base Type

• public tvm::sym::ConstraintObj (Class ConstraintObj)

Class Documentation

class BindingConstraintObj : public tvm::sym::ConstraintObj

The value captured when a variable is bound. A mutable-read RHS is retained as data; it must not be re-evaluated or treated as an enduring equality by a consumer.

Public Functions

inline BindingConstraintObj(Var var, PrimExpr value)

inline explicit BindingConstraintObj(ffi::UnsafeInit tag)

Public Members

Var var

The variable whose bound value is recorded.

PrimExpr value

The RHS expression at the binding site, including any mutable reads.

Public Static Functions

static inline void RegisterReflection()

static inline int32_t _GetOrAllocRuntimeTypeIndex()

static inline int32_t RuntimeTypeIndex() noexcept