Variable tvm::ffi::object_ref_contains_v

Variable tvm::ffi::object_ref_contains_v#

Variable Documentation#

template<typename RefType, typename ObjectType, typename = std::enable_if_t<std::is_base_of_v<ObjectRef, RefType> && std::is_base_of_v<Object, ObjectType>>>
constexpr bool tvm::ffi::object_ref_contains_v = RefType::_type_container_is_exact && std::is_base_of_v<typename RefType::ContainerType, ObjectType>#

Whether RefType contains every ObjectType instance.

The containing reference type is first and the contained object type is second. The template is enabled only when RefType is an object reference and ObjectType is an object node. The default is true exactly when RefType has an exact container type and ObjectType derives from it. Direct specializations can provide the proof for non-exact reference types.

Template Parameters:
  • RefType – The object reference type.

  • ObjectType – The object node type.