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 (ffi::Array< Var > variables, ffi::Map< Var, Range > ranges, ffi::Array< PrimExpr > relations)
 Constructor by fields. More...
 
 TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE (IntConstraints, ObjectRef, IntConstraintsNode)
 

Detailed Description

Managed reference to IntConstraintsNode.

See also
IntConstraintsNode

Constructor & Destructor Documentation

◆ IntConstraints()

tvm::arith::IntConstraints::IntConstraints ( ffi::Array< Var variables,
ffi::Map< Var, Range ranges,
ffi::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_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE()

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

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