Enum GpuSolverProductionMaxSatScheduleJob 

pub enum GpuSolverProductionMaxSatScheduleJob<'a> {
    CandidateSet {
        candidates: &'a [GpuSolverProductionMaxSatCandidate<'a>],
    },
    Search {
        candidates: &'a [GpuSolverProductionMaxSatSearchCandidate<'a>],
    },
    EncodedSearch {
        weighted: &'a SolveInstance,
        branch_var_limit: &'a TrackedCudaSlice<u32>,
        selections: &'a [GpuSolverProductionWeightedMaxSatSelection<'a>],
    },
    Unknown {
        reason: &'static str,
    },
    Timeout {
        budget_micros: u64,
    },
}

One job in an accepted GPU-backed MaxSAT scheduler batch.

Variants

CandidateSet

Certify a caller-provided weighted candidate set through GPU CDCL SAT.

Fields

candidates: &'a [GpuSolverProductionMaxSatCandidate<'a>]

Candidate set to certify.

Search

Certify and prune a caller-provided weighted MaxSAT search frontier.

Fields

candidates: &'a [GpuSolverProductionMaxSatSearchCandidate<'a>]

Search candidates to certify or prune.

EncodedSearch

Encode weighted soft-clause selections into GPU CNF candidates before search.

Fields

weighted: &'a SolveInstance

Weighted MaxSAT instance whose soft clauses define the schedule.

branch_var_limit: &'a TrackedCudaSlice<u32>

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

selections: &'a [GpuSolverProductionWeightedMaxSatSelection<'a>]

Soft-clause selections to encode and certify.

Unknown

A scheduled MaxSAT batch whose GPU-backed budget ended inconclusively.

Fields

reason: &'static str

Diagnostic reason recorded by the accepted scheduler.

Timeout

A scheduled MaxSAT batch whose accepted GPU-backed budget timed out.

Fields

budget_micros: u64

Timeout budget observed by the accepted scheduler.

Trait Implementations

impl<'a> Clone for GpuSolverProductionMaxSatScheduleJob<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionMaxSatScheduleJob<'a>