|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Classes | |
| struct | cublashandle |
Typedefs | |
| typedef enum cublasstatus | custatusResult |
| typedef enum cublasstatus | cublasStatus_t |
| typedef struct cublashandle | cublasHandle_t |
| typedef enum cublasoperation | cuoperation |
| typedef enum cublasoperation | cublasOperation_t |
Functions | |
| cublasStatus_t | cublasCreate (cublasHandle_t *handle) |
| cublasStatus_t | cublasDestroy (cublasHandle_t handle) |
| cublasStatus_t | cublasSetMatrix (int rows, int cols, int elemSize, const void *A, int lda, void *B, int ldb) |
| cublasStatus_t | cublasGetMatrix (int rows, int cols, int elemSize, const void *A, int lda, void *B, int ldb) |
| cublasStatus_t | cublasSetVector (int n, int elemSize, const void *A, int lda, void *B, int ldb) |
| cublasStatus_t | cublasGetVector (int n, int elemSize, const void *A, int lda, void *B, int ldb) |
| cublasStatus_t | cublasSscal (cublasHandle_t handle, int n, const float *alpha, float *x, int incx) |
| cublasStatus_t | cublasDscal (cublasHandle_t handle, int n, const double *alpha, double *x, int incx) |
| cublasStatus_t | cublasSswap (cublasHandle_t handle, int n, float *x, int incx, float *y, int incy) |
| cublasStatus_t | cublasDswap (cublasHandle_t handle, int n, double *x, int incx, double *y, int incy) |
| cublasStatus_t | cublasSdot (cublasHandle_t handle, int n, const float *x, int incx, const float *y, int incy, float *result) |
| cublasStatus_t | cublasDdot (cublasHandle_t handle, int n, const double *x, int incx, const double *y, int incy, double *result) |
| cublasStatus_t | cublasScopy (cublasHandle_t handle, int n, const float *x, int incx, float *y, int incy) |
| cublasStatus_t | cublasDcopy (cublasHandle_t handle, int n, const double *x, int incx, double *y, int incy) |
| cublasStatus_t | cublasSgemm (cublasHandle_t handle, cublasOperation_t transa, cublasOperation_t transb, int m, int n, int k, const float *alpha, const float *A, int lda, const float *B, int ldb, const float *beta, float *C, int ldc) |
| cublasStatus_t | cublasDgemm (cublasHandle_t handle, cublasOperation_t transa, cublasOperation_t transb, int m, int n, int k, const double *alpha, const double *A, int lda, const double *B, int ldb, const double *beta, double *C, int ldc) |
| cublasStatus_t | cublasSaxpy (cublasHandle_t handle, int n, const float *alpha, const float *x, int incx, float *y, int incy) |
| cublasStatus_t | cublasDaxpy (cublasHandle_t handle, int n, const double *alpha, const double *x, int incx, double *y, int incy) |
| typedef struct cublashandle cublasHandle_t |
| typedef enum cublasoperation cublasOperation_t |
| typedef enum cublasstatus cublasStatus_t |
| typedef enum cublasoperation cuoperation |
| typedef enum cublasstatus custatusResult |
| cublasStatus_t cublasCreate | ( | cublasHandle_t * | handle | ) |
| cublasStatus_t cublasDaxpy | ( | cublasHandle_t | handle, |
| int | n, | ||
| const double * | alpha, | ||
| const double * | x, | ||
| int | incx, | ||
| double * | y, | ||
| int | incy ) |
| cublasStatus_t cublasDcopy | ( | cublasHandle_t | handle, |
| int | n, | ||
| const double * | x, | ||
| int | incx, | ||
| double * | y, | ||
| int | incy ) |
| cublasStatus_t cublasDdot | ( | cublasHandle_t | handle, |
| int | n, | ||
| const double * | x, | ||
| int | incx, | ||
| const double * | y, | ||
| int | incy, | ||
| double * | result ) |
| cublasStatus_t cublasDestroy | ( | cublasHandle_t | handle | ) |
| cublasStatus_t cublasDgemm | ( | cublasHandle_t | handle, |
| cublasOperation_t | transa, | ||
| cublasOperation_t | transb, | ||
| int | m, | ||
| int | n, | ||
| int | k, | ||
| const double * | alpha, | ||
| const double * | A, | ||
| int | lda, | ||
| const double * | B, | ||
| int | ldb, | ||
| const double * | beta, | ||
| double * | C, | ||
| int | ldc ) |
| cublasStatus_t cublasDscal | ( | cublasHandle_t | handle, |
| int | n, | ||
| const double * | alpha, | ||
| double * | x, | ||
| int | incx ) |
| cublasStatus_t cublasDswap | ( | cublasHandle_t | handle, |
| int | n, | ||
| double * | x, | ||
| int | incx, | ||
| double * | y, | ||
| int | incy ) |
| cublasStatus_t cublasGetMatrix | ( | int | rows, |
| int | cols, | ||
| int | elemSize, | ||
| const void * | A, | ||
| int | lda, | ||
| void * | B, | ||
| int | ldb ) |
| cublasStatus_t cublasGetVector | ( | int | n, |
| int | elemSize, | ||
| const void * | A, | ||
| int | lda, | ||
| void * | B, | ||
| int | ldb ) |
| cublasStatus_t cublasSaxpy | ( | cublasHandle_t | handle, |
| int | n, | ||
| const float * | alpha, | ||
| const float * | x, | ||
| int | incx, | ||
| float * | y, | ||
| int | incy ) |
| cublasStatus_t cublasScopy | ( | cublasHandle_t | handle, |
| int | n, | ||
| const float * | x, | ||
| int | incx, | ||
| float * | y, | ||
| int | incy ) |
| cublasStatus_t cublasSdot | ( | cublasHandle_t | handle, |
| int | n, | ||
| const float * | x, | ||
| int | incx, | ||
| const float * | y, | ||
| int | incy, | ||
| float * | result ) |
| cublasStatus_t cublasSetMatrix | ( | int | rows, |
| int | cols, | ||
| int | elemSize, | ||
| const void * | A, | ||
| int | lda, | ||
| void * | B, | ||
| int | ldb ) |
| cublasStatus_t cublasSetVector | ( | int | n, |
| int | elemSize, | ||
| const void * | A, | ||
| int | lda, | ||
| void * | B, | ||
| int | ldb ) |
| cublasStatus_t cublasSgemm | ( | cublasHandle_t | handle, |
| cublasOperation_t | transa, | ||
| cublasOperation_t | transb, | ||
| int | m, | ||
| int | n, | ||
| int | k, | ||
| const float * | alpha, | ||
| const float * | A, | ||
| int | lda, | ||
| const float * | B, | ||
| int | ldb, | ||
| const float * | beta, | ||
| float * | C, | ||
| int | ldc ) |
| cublasStatus_t cublasSscal | ( | cublasHandle_t | handle, |
| int | n, | ||
| const float * | alpha, | ||
| float * | x, | ||
| int | incx ) |
| cublasStatus_t cublasSswap | ( | cublasHandle_t | handle, |
| int | n, | ||
| float * | x, | ||
| int | incx, | ||
| float * | y, | ||
| int | incy ) |