Struct CpuReferenceAccelerator 

pub struct CpuReferenceAccelerator { /* private fields */ }

CPU reference implementation of GPU-acceleratable operations

This implementation provides pure Rust versions of all GPU operations, serving as both a fallback when no GPU is available and a reference for correctness testing.

Implementations

impl CpuReferenceAccelerator

pub fn new(config: GpuConfig) -> Self

Create a new CPU reference accelerator

Trait Implementations

impl Default for CpuReferenceAccelerator

fn default() -> Self

Returns the “default value” for a type.

impl GpuSolverAccelerator for CpuReferenceAccelerator

fn config(&self) -> &GpuConfig

Get the current configuration

fn stats(&self) -> &GpuStats

Get operation statistics

fn reset_stats(&mut self)

Reset statistics

fn batch_unit_propagation( &mut self, watched_lists: &[Vec<(usize, bool)>], assignments: &[bool], ) -> Result<BatchPropagationResult, GpuError>

Batch unit propagation

fn parallel_conflict_analysis( &mut self, conflict_clause: &[i32], trail: &[(u32, usize)], reasons: &[Option<usize>], ) -> Result<ConflictAnalysisResult, GpuError>

Parallel conflict analysis data structure update

fn manage_clause_database( &mut self, clause_activities: &[f64], clause_lbds: &[usize], clause_sizes: &[usize], reduction_target: usize, ) -> Result<ClauseManagementResult, GpuError>

Manage learned clause database

fn is_ready(&self) -> bool

Check if GPU is ready for operations

fn synchronize(&mut self) -> Result<(), GpuError>

Synchronize GPU operations (wait for completion)