Struct TargetPhaseSelector 

pub struct TargetPhaseSelector { /* private fields */ }

Target-based phase selection manager

Implementations

impl TargetPhaseSelector

pub fn new(num_vars: usize, decay: f64) -> Self

Create a new target phase selector

pub fn resize(&mut self, num_vars: usize)

Resize for a new number of variables

pub fn stats(&self) -> &TargetPhaseStats

Get statistics

pub fn save_phase(&mut self, var: Var, phase: bool)

Save phase for a variable

pub fn set_target(&mut self, var: Var, phase: bool, confidence_boost: f64)

Set target phase for a variable with confidence boost

pub fn on_conflict_literal(&mut self, lit: Lit)

Update target phase based on a satisfied literal in conflict analysis

pub fn on_learned_clause(&mut self, clause: &[Lit])

Update target phase based on a learned clause

pub fn decay_confidence(&mut self)

Decay all confidence scores

pub fn get_phase(&mut self, var: Var, mode: PhaseMode) -> bool

Get the phase for a variable

pub fn reset_targets(&mut self)

Reset target phases (useful after restarts)

pub fn get_confidence(&self, var: Var) -> f64

Get confidence for a variable