tvm
Public Member Functions | List of all members
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, 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)
 

Detailed Description

Managed reference to IntConstraintsTransformNode.

See also
IntConstraintsTransformNode

Constructor & Destructor Documentation

◆ IntConstraintsTransform()

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

Constructor by fields.

Parameters
srcsource integer constraints, e.g., {a + b = 0 | a >= 0, b >= 0}
dstinteger constraints equivalent to the source, e.g., {m - n = 0 | m >= 0, n <= 0}
src_to_dstmapping from variables in the src to the variables in the dst, e.g., {a -> m, b -> -n}
dst_to_srcmapping 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
otheranother IntConstraintsTransform whose src is same as this->dst.
Returns
composed IntConstraintsTransform(this->src, other->dst) with its variables and ranges are properly modified.

◆ TVM_DEFINE_OBJECT_REF_METHODS()

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

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