Struct GpuSolverProductionMaxSatSearchCandidate 

pub struct GpuSolverProductionMaxSatSearchCandidate<'a> {
    pub score: u64,
    pub cnf: &'a GpuCnf,
    pub branch_var_limit: &'a TrackedCudaSlice<u32>,
    pub status: GpuSolverProductionMaxSatSearchStatus,
}

One GPU-CDCL-backed candidate in a bounded weighted MaxSAT search.

Fields

score: u64

Candidate MaxSAT score represented when the CNF is satisfiable.

cnf: &'a GpuCnf

Device-resident CNF for this MaxSAT candidate.

branch_var_limit: &'a TrackedCudaSlice<u32>

Device-resident branch limit passed to the GPU CDCL solver.

status: GpuSolverProductionMaxSatSearchStatus

Expected candidate status certified by GPU CDCL.

Trait Implementations

impl<'a> Clone for GpuSolverProductionMaxSatSearchCandidate<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionMaxSatSearchCandidate<'a>