tvm_tirx.sym.PredicateConstraint

class tvm_tirx.sym.PredicateConstraint(condition, assume_always=False)

Bases: Constraint

A boolean condition whose validity is supplied by its collector.

Parameters:

• condition (tvm_tirx.ir.PrimExpr) – The boolean predicate supplied by the collector.

• assume_always (bool, optional) – Defaults to False. If True, the caller guarantees that the predicate remains true throughout the active constraint scope, including after mutations. This guarantees predicate truth; referenced values may still change.

property assume_always

property condition