Mila::Dnn::Compute::OperationSupported Concept Reference

True iff a concrete OperationTraits specialization exists for the tuple. More...

Concept definition

    template<OperationType TOp, DeviceType TDeviceType, TensorDataType TPrecision, typename TPolicy = void>
    concept OperationSupported = requires { sizeof( OperationTraits<TOp, TDeviceType, TPrecision, TPolicy> ); }

Detailed Description

True iff a concrete OperationTraits specialization exists for the tuple.

SFINAE-safe: probes whether OperationTraits<...> is a complete type (a matching specialization completes it; the undefined primary stays incomplete for every unsupported tuple). Satisfied for both type-bearing and op_for-bearing specializations. Usable in if constexpr and static_assert to skip or reject (Op, Device, Precision, Policy) combinations without triggering a hard error – the seam a multi-precision typed test uses to sweep only the precisions an op actually implements.

Template Parameters

TOp	Operation identifier from the OperationType enum.
TDeviceType	Target device (Cpu, Cuda, ...).
TPrecision	Compute and activation precision.
TPolicy	Optional policy type. Defaults to void for policy-free ops.