ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
arg_struct_fuint Struct Reference
#include <
call_kernel.h
>
Public Attributes
float
*
a
unsigned
int
b
void *(*
func
)(
float
*, unsigned
int
)
Member Data Documentation
◆
a
float
* arg_struct_fuint::a
◆
b
unsigned
int
arg_struct_fuint::b
◆
func
void *(* arg_struct_fuint::func) (
float
*, unsigned
int
)
The documentation for this struct was generated from the following file:
src/cpp/library/CUDA/
call_kernel.h
arg_struct_fuint
Generated by
1.15.0