Struct GpuSolverProductionLearnedClauseReuseReport 

pub struct GpuSolverProductionLearnedClauseReuseReport {
    pub candidate_evidence_records: u64,
    pub candidates: u64,
    pub unsat_solves: u64,
    pub gpu_learned_clause_arena_publications: u64,
    pub gpu_learned_clause_imports: u64,
    pub gpu_learned_clause_reused_solves: u64,
    pub cpu_learned_clause_transfers: u64,
}

Summary of a bounded GPU CDCL learned-clause reuse run.

Fields

candidate_evidence_records: u64

Number of accepted GPU epistemic candidate evidence records consumed.

candidates: u64

Number of accepted candidate solves represented by this bounded reuse run.

unsat_solves: u64

Number of UNSAT solves executed through the reusable GPU CDCL workspace.

gpu_learned_clause_arena_publications: u64

Number of learned-clause arenas published from device buffers.

gpu_learned_clause_imports: u64

Number of learned-clause arenas imported from device buffers.

gpu_learned_clause_reused_solves: u64

Number of UNSAT solves that reused imported GPU learned clauses.

cpu_learned_clause_transfers: u64

CPU learned-clause transfers performed by this adapter.

Trait Implementations

impl Clone for GpuSolverProductionLearnedClauseReuseReport

fn clone(&self) -> GpuSolverProductionLearnedClauseReuseReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverProductionLearnedClauseReuseReport

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

Formats the value using the given formatter.

impl Default for GpuSolverProductionLearnedClauseReuseReport

fn default() -> GpuSolverProductionLearnedClauseReuseReport

Returns the “default value” for a type.

impl PartialEq for GpuSolverProductionLearnedClauseReuseReport

fn eq(&self, other: &GpuSolverProductionLearnedClauseReuseReport) -> 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 Copy for GpuSolverProductionLearnedClauseReuseReport

impl Eq for GpuSolverProductionLearnedClauseReuseReport

impl StructuralPartialEq for GpuSolverProductionLearnedClauseReuseReport