Class PredicateConstraintObj

• Defined in File constraint.h

Inheritance Relationships

Base Type

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

Class Documentation

class PredicateConstraintObj : public tvm::sym::ConstraintObj

A boolean premise. Its validity and lifetime are supplied by the collector.

Public Functions

inline explicit PredicateConstraintObj(PrimExpr condition, bool assume_always = false)

inline explicit PredicateConstraintObj(ffi::UnsafeInit tag)

Public Members

PrimExpr condition

The boolean predicate supplied by the collector.

bool assume_always = {false}

Whether to assume the predicate remains true throughout the active constraint scope, including after mutations. Defaults to false. Setting true supplies the caller’s guarantee of predicate truth; it does not require referenced values to remain unchanged.

Public Static Functions

static inline void RegisterReflection()

static inline int32_t _GetOrAllocRuntimeTypeIndex()

static inline int32_t RuntimeTypeIndex() noexcept