tvm
|
Managed reference to IntConstraintsTransformNode. More...
#include <int_solver.h>
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) | |
Managed reference to IntConstraintsTransformNode.
tvm::arith::IntConstraintsTransform::IntConstraintsTransform | ( | IntConstraints | src, |
IntConstraints | dst, | ||
Map< Var, PrimExpr > | src_to_dst, | ||
Map< Var, PrimExpr > | dst_to_src | ||
) |
Constructor by fields.
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.
other | another IntConstraintsTransform whose src is same as this->dst. |
tvm::arith::IntConstraintsTransform::TVM_DEFINE_OBJECT_REF_METHODS | ( | IntConstraintsTransform | , |
ObjectRef | , | ||
IntConstraintsTransformNode | |||
) |