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

#include <curand_kernel.h>

Public Attributes

unsigned long long i
unsigned long long x
unsigned long long c
unsigned long long direction_vectors [64]

Member Data Documentation

◆ c

unsigned long long curandStateScrambledSobol64::c

◆ direction_vectors

unsigned long long curandStateScrambledSobol64::direction_vectors[64]

◆ i

unsigned long long curandStateScrambledSobol64::i

◆ x

unsigned long long curandStateScrambledSobol64::x

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