Enum GpuSolverProductionMaxSatSearchStatus 

pub enum GpuSolverProductionMaxSatSearchStatus {
    Satisfiable,
    Unsatisfiable,
}

Expected GPU-CDCL status for a bounded MaxSAT search candidate.

Variants

Satisfiable

The candidate should be satisfiable and eligible for optimum scoring.

Unsatisfiable

The candidate should be unsatisfiable and pruned by GPU CDCL.

Trait Implementations

impl Clone for GpuSolverProductionMaxSatSearchStatus

fn clone(&self) -> GpuSolverProductionMaxSatSearchStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GpuSolverProductionMaxSatSearchStatus

impl Debug for GpuSolverProductionMaxSatSearchStatus

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

Formats the value using the given formatter.

impl Eq for GpuSolverProductionMaxSatSearchStatus

impl PartialEq for GpuSolverProductionMaxSatSearchStatus

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