Struct GpuSolverProductionLearnedClauseArenaReport 

pub struct GpuSolverProductionLearnedClauseArenaReport {
    pub unsat_solves: u64,
    pub gpu_learned_clause_arena_publications: u64,
    pub gpu_learned_count_buffer_publications: u64,
    pub cpu_learned_clause_transfers: u64,
}

Summary of a GPU CDCL learned-clause arena publication.

Fields

unsat_solves: u64

Number of UNSAT solves used to populate the learned-clause/proof arena.

gpu_learned_clause_arena_publications: u64

Number of learned-clause arenas published from device buffers.

gpu_learned_count_buffer_publications: u64

Number of learned-count device buffers published with the arena.

cpu_learned_clause_transfers: u64

CPU learned-clause transfers performed by this adapter.

Trait Implementations

impl Clone for GpuSolverProductionLearnedClauseArenaReport

fn clone(&self) -> GpuSolverProductionLearnedClauseArenaReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GpuSolverProductionLearnedClauseArenaReport

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

Formats the value using the given formatter.

impl Default for GpuSolverProductionLearnedClauseArenaReport

fn default() -> GpuSolverProductionLearnedClauseArenaReport

Returns the “default value” for a type.

impl PartialEq for GpuSolverProductionLearnedClauseArenaReport

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

impl Eq for GpuSolverProductionLearnedClauseArenaReport

impl StructuralPartialEq for GpuSolverProductionLearnedClauseArenaReport