Struct GpuSolverProductionWeightedMaxSatSelection 

pub struct GpuSolverProductionWeightedMaxSatSelection<'a> {
    pub soft_clause_indices: &'a [usize],
    pub status: GpuSolverProductionMaxSatSearchStatus,
}

One caller-declared weighted soft-clause selection for GPU MaxSAT search encoding.

The adapter treats soft_clause_indices as seed soft clauses for a bounded search candidate, completes any upper-bound boundary candidates implied by UNSAT seeds, uploads each candidate with the existing GPU CNF layout, and certifies status through GPU CDCL. It does not enumerate assignments on CPU.

Fields

soft_clause_indices: &'a [usize]

Indices of weighted soft clauses selected for this bounded candidate.

status: GpuSolverProductionMaxSatSearchStatus

Expected GPU-CDCL status for the encoded selected-clause CNF.

Trait Implementations

impl<'a> Clone for GpuSolverProductionWeightedMaxSatSelection<'a>

fn clone(&self) -> GpuSolverProductionWeightedMaxSatSelection<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionWeightedMaxSatSelection<'a>