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");
arith::Analyzer analyzer;
{
  With<arith::ConstraintContext> scope(&analyzer, x % 3 == 0);
  ICHECK_EQ(analyzer.modular_set(x)->coeff, 3);
}
// constraint no longer in effect.
ICHECK_NE(analyzer.modular_set(x)->coeff, 3);

Friends And Related Function Documentation

With< ConstraintContext >

friend class With< ConstraintContext >

friend

---

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

• include/tvm/arith/analyzer.h