tvm
Public Member Functions | List of all members
tvm::arith::IntConstraints Class Reference

Managed reference to IntConstraintsNode. More...

#include <int_solver.h>

Inheritance diagram for tvm::arith::IntConstraints:
Collaboration diagram for tvm::arith::IntConstraints:

Public Member Functions

 IntConstraints (Array< Var > variables, Map< Var, Range > ranges, Array< PrimExpr > relations)
 Constructor by fields. More...
 
 TVM_DEFINE_OBJECT_REF_METHODS (IntConstraints, ObjectRef, IntConstraintsNode)
 

Detailed Description

Managed reference to IntConstraintsNode.

See also
IntConstraintsNode

Constructor & Destructor Documentation

◆ IntConstraints()

tvm::arith::IntConstraints::IntConstraints ( Array< Var variables,
Map< Var, Range ranges,
Array< PrimExpr relations 
)

Constructor by fields.

Parameters
variablesThe variables in the constraints, must be integers.
rangesThe ranges of the variables.
relationsThe linear relations between the variables (either equations or inequalities)

Member Function Documentation

◆ TVM_DEFINE_OBJECT_REF_METHODS()

tvm::arith::IntConstraints::TVM_DEFINE_OBJECT_REF_METHODS ( IntConstraints  ,
ObjectRef  ,
IntConstraintsNode   
)

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