tvm::arith::IntConstraintsNode Class Reference

Represent integer constrains including (integer) variables, their ranges and the relations between them (either equations or inequalities). More...

#include <int_solver.h>

Inheritance diagram for tvm::arith::IntConstraintsNode:

Collaboration diagram for tvm::arith::IntConstraintsNode:

Public Member Functions
	TVM_FFI_DECLARE_OBJECT_INFO_FINAL ("arith.IntConstraints", IntConstraintsNode, Object)

Static Public Member Functions
static void	RegisterReflection ()

Public Attributes
ffi::Array< Var >	variables
ffi::Map< Var, Range >	ranges
ffi::Array< PrimExpr >	relations

Static Public Attributes
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

Detailed Description

Represent integer constrains including (integer) variables, their ranges and the relations between them (either equations or inequalities).

See also

LinearSystem

Member Function Documentation

RegisterReflection()

static void tvm::arith::IntConstraintsNode::RegisterReflection ( )

inlinestatic

TVM_FFI_DECLARE_OBJECT_INFO_FINAL()

tvm::arith::IntConstraintsNode::TVM_FFI_DECLARE_OBJECT_INFO_FINAL	(	"arith.IntConstraints"	,
		IntConstraintsNode	,
		Object
	)

Member Data Documentation

_type_s_eq_hash_kind

constexpr TVMFFISEqHashKind tvm::arith::IntConstraintsNode::_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

staticconstexpr

ranges

ffi::Map<Var, Range> tvm::arith::IntConstraintsNode::ranges

relations

ffi::Array<PrimExpr> tvm::arith::IntConstraintsNode::relations

variables

ffi::Array<Var> tvm::arith::IntConstraintsNode::variables

---

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

• include/tvm/arith/int_solver.h