tvm::arith::IntConstraintsTransform Class Reference

Managed reference to IntConstraintsTransformNode. More...

#include <int_solver.h>

Inheritance diagram for tvm::arith::IntConstraintsTransform:

Collaboration diagram for tvm::arith::IntConstraintsTransform:

Public Member Functions
	IntConstraintsTransform (IntConstraints src, IntConstraints dst, ffi::Map< Var, PrimExpr > src_to_dst, ffi::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_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE (IntConstraintsTransform, ObjectRef, IntConstraintsTransformNode)

Detailed Description

Managed reference to IntConstraintsTransformNode.

See also

IntConstraintsTransformNode

Constructor & Destructor Documentation

IntConstraintsTransform()

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

Constructor by fields.

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}

Member Function Documentation

operator+()

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

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

---

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

• include/tvm/arith/int_solver.h