#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)

Public Member Functions inherited from tvm::runtime::ObjectRef
	ObjectRef ()=default
	default constructor More...

	ObjectRef (ObjectPtr< Object > data)
	Constructor from existing object ptr. More...

bool	same_as (const ObjectRef &other) const
	Comparator. More...

bool	operator== (const ObjectRef &other) const
	Comparator. More...

bool	operator!= (const ObjectRef &other) const
	Comparator. More...

bool	operator< (const ObjectRef &other) const
	Comparator. More...

bool	defined () const

const Object *	get () const

const Object *	operator-> () const

bool	unique () const

int	use_count () const

template<typename ObjectType , typename = std::enable_if_t<std::is_base_of_v<Object, ObjectType>>>
const ObjectType *	as () const
	Try to downcast the internal Object to a raw pointer of a corresponding type. More...

template<typename ObjectRefType , typename = std::enable_if_t<std::is_base_of_v<ObjectRef, ObjectRefType>>>
Optional< ObjectRefType >	as () const
	Try to downcast the ObjectRef to a Optional<T> of the requested type. More...

Additional Inherited Members
Public Types inherited from tvm::runtime::ObjectRef
using	ContainerType = Object
	type indicate the container type. More...

Static Public Attributes inherited from tvm::runtime::ObjectRef
static constexpr bool	_type_is_nullable = true

Protected Member Functions inherited from tvm::runtime::ObjectRef
Object *	get_mutable () const

Static Protected Member Functions inherited from tvm::runtime::ObjectRef
template<typename T >
static T	DowncastNoCheck (ObjectRef ref)
	Internal helper function downcast a ref without check. More...

static void	FFIClearAfterMove (ObjectRef *ref)
	Clear the object ref data field without DecRef after we successfully moved the field. More...

template<typename ObjectType >
static ObjectPtr< ObjectType >	GetDataPtr (const ObjectRef &ref)
	Internal helper function get data_ as ObjectPtr of ObjectType. More...

Protected Attributes inherited from tvm::runtime::ObjectRef
ObjectPtr< Object >	data_
	Internal pointer that backs the reference. More...

Detailed Description

Managed reference to IntConstraintsNode.

Constructor & Destructor Documentation

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

Parameters

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_DEFINE_OBJECT_REF_METHODS	(	IntConstraints	,
		ObjectRef	,
		IntConstraintsNode
	)

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