Struct GpuSolverProductionLifecycleStep 

pub struct GpuSolverProductionLifecycleStep<'a> {
    pub cnf: &'a GpuCnf,
    pub branch_var_limit: &'a TrackedCudaSlice<u32>,
    pub expectation: GpuSolverProductionExpectation,
}

One accepted solver lifecycle step backed by existing GPU CDCL inputs.

Fields

cnf: &'a GpuCnf

Device-resident CNF for this step, including any assumption clauses.

branch_var_limit: &'a TrackedCudaSlice<u32>

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

expectation: GpuSolverProductionExpectation

Expected SAT/UNSAT status for the step.

Trait Implementations

impl<'a> Clone for GpuSolverProductionLifecycleStep<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for GpuSolverProductionLifecycleStep<'a>