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_DECLARE_FINAL_OBJECT_INFO (IntConstraintsNode, Object)

Static Public Member Functions
static void	RegisterReflection ()

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

Static Public Attributes
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode
static constexpr const char *	_type_key = "arith.IntConstraints"

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_DECLARE_FINAL_OBJECT_INFO()

tvm::arith::IntConstraintsNode::TVM_DECLARE_FINAL_OBJECT_INFO	(	IntConstraintsNode	,
		Object
	)

Member Data Documentation

_type_key

constexpr const char* tvm::arith::IntConstraintsNode::_type_key = "arith.IntConstraints"

staticconstexpr

_type_s_eq_hash_kind

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

staticconstexpr

ranges

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

relations

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

variables

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

---

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

• include/tvm/arith/int_solver.h