tvm::arith::ConstraintContext Class Reference

Constraint context. More...

#include <analyzer.h>

Collaboration diagram for tvm::arith::ConstraintContext:

Friends
class	With< ConstraintContext >

Detailed Description

Constraint context.

Var x("x");
arith::Analyzer analyzer;
{
  With<arith::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/arith/analyzer.h