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

#include <curand_kernel.h>

Public Attributes

unsigned int d
unsigned int v [5]
int boxmuller_flag
float boxmuller_extra
double boxmuller_extra_double

Member Data Documentation

◆ boxmuller_extra

float curandStateXORWOW::boxmuller_extra

◆ boxmuller_extra_double

double curandStateXORWOW::boxmuller_extra_double

◆ boxmuller_flag

int curandStateXORWOW::boxmuller_flag

◆ d

unsigned int curandStateXORWOW::d

◆ v

unsigned int curandStateXORWOW::v[5]

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