|
tvm
|
Managed reference to IntConstraintsNode. More...
#include <int_solver.h>
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) | |
Managed reference to IntConstraintsNode.
| tvm::arith::IntConstraints::IntConstraints | ( | ffi::Array< Var > | variables, |
| ffi::Map< Var, Range > | ranges, | ||
| ffi::Array< PrimExpr > | relations | ||
| ) |
Constructor by fields.
| variables | The variables in the constraints, must be integers. |
| ranges | The ranges of the variables. |
| relations | The linear relations between the variables (either equations or inequalities) |
| tvm::arith::IntConstraints::TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE | ( | IntConstraints | , |
| ObjectRef | , | ||
| IntConstraintsNode | |||
| ) |