Struct GpuSolverProductionMaxSatLifecycleReport 

pub struct GpuSolverProductionMaxSatLifecycleReport {
    pub candidate_evidence_records: u64,
    pub lifecycle: GpuSolverProductionLifecycleReport,
    pub maxsat: GpuSolverProductionMaxSatReport,
}

Summary of a combined accepted solver lifecycle plus MaxSAT run.

Fields

candidate_evidence_records: u64

Number of accepted GPU epistemic candidate evidence records consumed.

lifecycle: GpuSolverProductionLifecycleReport

Push/solve/retract lifecycle report for the accepted GPU evidence.

maxsat: GpuSolverProductionMaxSatReport

Bounded MaxSAT candidate report for the same accepted GPU evidence.

Trait Implementations

impl Clone for GpuSolverProductionMaxSatLifecycleReport

fn clone(&self) -> GpuSolverProductionMaxSatLifecycleReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GpuSolverProductionMaxSatLifecycleReport

impl Debug for GpuSolverProductionMaxSatLifecycleReport

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

Formats the value using the given formatter.

impl Default for GpuSolverProductionMaxSatLifecycleReport

fn default() -> GpuSolverProductionMaxSatLifecycleReport

Returns the “default value” for a type.

impl Eq for GpuSolverProductionMaxSatLifecycleReport

impl PartialEq for GpuSolverProductionMaxSatLifecycleReport

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