Mila::Dnn::isValidTensor Concept Reference

Primary tensor configuration validation concept. More...

Concept definition

        template<TensorDataType TDataType, typename TMemoryResource>
        concept isValidTensor =
        // Memory resource must inherit from base class
        std::is_base_of_v<Compute::MemoryResource, TMemoryResource> &&
 
        // Device-only types must use device-accessible memory
        (!TensorDataTypeTraits<TDataType>::is_device_only || TMemoryResource::is_device_accessible) &&
 
        // Ensure TensorDataTypeTraits is properly specialized with required members
        requires {
        // Type must be specialized
        typename TensorDataTypeTraits<TDataType>;
 
        // Required compile-time properties
        TensorDataTypeTraits<TDataType>::size_in_bytes;
        TensorDataTypeTraits<TDataType>::is_device_only;
        TensorDataTypeTraits<TDataType>::is_float_type;
        TensorDataTypeTraits<TDataType>::is_integer_type;
        TensorDataTypeTraits<TDataType>::type_name;
        TensorDataTypeTraits<TDataType>::alignment;
    }

Detailed Description

Primary tensor configuration validation concept.

Validates that a TensorDataType and MemoryResource combination represents a valid tensor configuration. This is the core validation concept for the abstract tensor data type system.

Validation ensures:

• Memory resource inherits from base MemoryResource class
• Device-only data types use device-accessible memory resources
• TensorDataTypeTraits is properly specialized for the data type
• All required trait properties are available at compile time

Template Parameters

TDataType	Abstract tensor data type from TensorDataType enumeration
TMemoryResource	Memory resource type for tensor storage

Note

This is the primary validation interface for the tensor system

Replaces all legacy concrete type validation concepts

Used directly by Tensor class template constraints

See also

TensorDataType for supported data type enumeration

TensorDataTypeTraits for compile-time data type characteristics

MemoryResource for memory resource base class