#include <int_solver.h>

Inheritance diagram for tvm::arith::IntConstraintsTransform:

Collaboration diagram for tvm::arith::IntConstraintsTransform:

Public Member Functions
	IntConstraintsTransform (IntConstraints src, IntConstraints dst, Map< Var, PrimExpr > src_to_dst, Map< Var, PrimExpr > dst_to_src)
	Constructor by fields. More...

IntConstraintsTransform	operator+ (const IntConstraintsTransform &other) const
	Chain-compose two IntConstraintsTransform together. this->dst must be the same as other->src. More...

	TVM_DEFINE_OBJECT_REF_METHODS (IntConstraintsTransform, ObjectRef, IntConstraintsTransformNode)

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

Constructor & Destructor Documentation

tvm::arith::IntConstraintsTransform::IntConstraintsTransform	(	IntConstraints	src,
		IntConstraints	dst,
		Map< Var, PrimExpr >	src_to_dst,
		Map< Var, PrimExpr >	dst_to_src
	)

Parameters

src	source integer constraints, e.g., {a + b = 0 \| a >= 0, b >= 0}
dst	integer constraints equivalent to the source, e.g., {m - n = 0 \| m >= 0, n <= 0}
src_to_dst	mapping from variables in the `src` to the variables in the `dst`, e.g., {a -> m, b -> -n}
dst_to_src	mapping from variables in the `dst` to the variables in the `src`, e.g., {m -> a, n -> -b}

IntConstraintsTransform tvm::arith::IntConstraintsTransform::operator+ ( const IntConstraintsTransform & other ) const

Chain-compose two IntConstraintsTransform together. this->dst must be the same as other->src.

Parameters

other another IntConstraintsTransform whose src is same as this->dst.

Returns: composed IntConstraintsTransform(this->src, other->dst) with its variables and ranges are properly modified.

tvm::arith::IntConstraintsTransform::TVM_DEFINE_OBJECT_REF_METHODS	(	IntConstraintsTransform	,
		ObjectRef	,
		IntConstraintsTransformNode
	)

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