Class Constraint#

Inheritance Relationships#

Base Type#

  • public ffi::ObjectRef

Derived Types#

Class Documentation#

class Constraint : public ffi::ObjectRef#

A binding, range, or predicate, without inference or normalization.

Subclassed by tvm::sym::BindingConstraint, tvm::sym::PredicateConstraint, tvm::sym::RangeConstraint

Public Types

using ContainerType = ConstraintObj#

Public Functions

inline explicit Constraint(ffi::ObjectPtr<ConstraintObj> node)#

Adopt an existing premise node.

inline explicit Constraint(::tvm::ffi::UnsafeInit tag)#
inline __PtrType operator->() const#
inline __PtrType get() const#