ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cudaDevicesList Struct Reference

Structure that represents the devices of CUDA. More...

#include <cuda_runtime_api.h>

Public Attributes

int id
int active
struct cudaDeviceProp deviceProp
struct cudaDevicesList * prox

Detailed Description

Structure that represents the devices of CUDA.

Member Data Documentation

◆ active

int cudaDevicesList::active

◆ deviceProp

struct cudaDeviceProp cudaDevicesList::deviceProp

◆ id

int cudaDevicesList::id

◆ prox

struct cudaDevicesList* cudaDevicesList::prox

The documentation for this struct was generated from the following file: