Struct EpistemicGpuCandidateGenerationTrace 

pub struct EpistemicGpuCandidateGenerationTrace {
    pub literal_count: usize,
    pub generated_candidates: usize,
    pub candidate_assumption_bytes: usize,
    pub kernel_launches: u32,
    pub host_write_ops: u32,
    pub kernel_timing: EpistemicGpuKernelTimingTrace,
}

Trace proving candidate assumptions were generated by a GPU kernel.

Fields

literal_count: usize

Number of epistemic literals represented per candidate.

generated_candidates: usize

Number of candidate rows generated on device.

candidate_assumption_bytes: usize

Candidate-assumption bytes written by the kernel.

kernel_launches: u32

Candidate-generation kernel launches.

host_write_ops: u32

Host writes used by candidate generation. Accepted execution requires zero.

kernel_timing: EpistemicGpuKernelTimingTrace

CUDA-event timing for the launched kernel.

Implementations

impl EpistemicGpuCandidateGenerationTrace

pub fn for_counts(literal_count: usize, candidate_count: usize) -> Result<Self>

Build a candidate-generation trace for a bounded device launch.

pub const fn with_kernel_timing( self, kernel_timing: EpistemicGpuKernelTimingTrace, ) -> Self

Attach CUDA-event timing captured by the runtime launch path.

Trait Implementations

impl Clone for EpistemicGpuCandidateGenerationTrace

fn clone(&self) -> EpistemicGpuCandidateGenerationTrace

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for EpistemicGpuCandidateGenerationTrace

impl Debug for EpistemicGpuCandidateGenerationTrace

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for EpistemicGpuCandidateGenerationTrace

impl PartialEq for EpistemicGpuCandidateGenerationTrace

fn eq(&self, other: &EpistemicGpuCandidateGenerationTrace) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for EpistemicGpuCandidateGenerationTrace