Class ConstraintContext#

Inheritance Relationships#

Base Type#

  • public ffi::ObjectRef

Class Documentation#

class ConstraintContext : public ffi::ObjectRef#

Managed reference to ConstraintContextObj. Copies share the same context.

Public Types

using ContainerType = ConstraintContextObj#

Public Functions

inline ConstraintContext()#

Construct an empty root.

inline ConstraintContext(ConstraintContext parent, int64_t parent_local_prefix)#

Construct a child capturing [0, parent_local_prefix) of its parent’s local entries. Later parent appends do not enter this child’s effective constraints.

Parameters:
  • parent – Context supplying inherited constraints.

  • parent_local_prefix – Number of parent-local entries to capture, between zero and parent->LocalSize(), inclusive.

Throws:

ffi::Error – If the prefix is outside that range.

inline explicit ConstraintContext(ffi::ObjectPtr<ConstraintContextObj> node)#

Adopt a reference to a non-null context object.

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