Struct VariableActivityManager 

pub struct VariableActivityManager { /* private fields */ }

Variable activity manager

Manages activity scores for variables using VSIDS-style decay.

Implementations

impl VariableActivityManager

pub fn new() -> Self

Create a new variable activity manager

Default decay factor: 0.95

pub fn with_decay(decay: f64) -> Self

Create with custom decay factor

Decay should be in range (0.0, 1.0):

• Higher values (e.g., 0.99) decay more slowly
• Lower values (e.g., 0.8) decay more quickly

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

Resize for new number of variables

pub fn bump(&mut self, var: Var)

Bump (increase) activity of a variable

pub fn decay(&mut self)

Decay all activities and increase increment

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

Get activity of a variable

pub fn set_activity(&mut self, var: Var, activity: f64)

Set activity of a variable

pub fn activities(&self) -> &[f64]

Get all activities

pub fn stats(&self) -> &ActivityStats

Get statistics

pub fn reset(&mut self)

Reset all activities

Trait Implementations

impl Debug for VariableActivityManager

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

Formats the value using the given formatter.

impl Default for VariableActivityManager

fn default() -> Self

Returns the “default value” for a type.