tvm::sym::ConstraintContext Class Reference

Constraint context. More...

#include <analyzer.h>

Collaboration diagram for tvm::sym::ConstraintContext:

Friends
class	With< ConstraintContext >

Detailed Description

Constraint context.

Var x("x");
sym::Analyzer analyzer;
{
  With<sym::ConstraintContext> scope(analyzer, tvm::floormod(x, 3) == 0);
  TVM_FFI_ICHECK_EQ(analyzer->modular_set(x)->coeff, 3);
}
// constraint no longer in effect.
TVM_FFI_ICHECK_NE(analyzer->modular_set(x)->coeff, 3);

Friends And Related Symbol Documentation

With< ConstraintContext >

friend class With< ConstraintContext >

friend

---

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

• include/tvm/sym/analyzer.h