Struct SolverServiceTrace 

pub struct SolverServiceTrace {
    pub learned_clause_transfers: usize,
    pub cpu_assignment_enumerations: u64,
    pub cpu_maxsat_enumerations: u64,
}

Trace counters for service-level behavior.

Fields

learned_clause_transfers: usize

Number of learned clauses received from another service.

cpu_assignment_enumerations: u64

CPU assignment candidates inspected by the semantic-oracle facade.

cpu_maxsat_enumerations: u64

CPU MaxSAT candidates inspected by the semantic-oracle facade.

Implementations

impl SolverServiceTrace

pub fn require_production_metric_eligibility(&self) -> Result<()>

Reject attempts to use the CPU semantic-oracle facade as production metric evidence.

Trait Implementations

impl Clone for SolverServiceTrace

fn clone(&self) -> SolverServiceTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverServiceTrace

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

Formats the value using the given formatter.

impl Default for SolverServiceTrace

fn default() -> SolverServiceTrace

Returns the “default value” for a type.

impl PartialEq for SolverServiceTrace

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

impl StructuralPartialEq for SolverServiceTrace