Struct splr::restart::ProgressASG

pub struct ProgressASG {
    pub threshold: f64,
    // some fields omitted
}

Fields

threshold: f64

For block restart based on average assignments: 1.40. This is called R in Glucose

Trait Implementations

impl ProgressEvaluator for ProgressASG

type Input = usize

the type of the argment of update.

fn update(&mut self, n: usize)

catch up with the current state.

fn get(&self) -> f64

return the current value.

fn trend(&self) -> f64

return a ratio of short / long statistics.

fn is_active(&self) -> bool

map the value into a bool for forcing/blocking restart.

fn new(config: &Config) -> Self

return a new instance.

impl Debug for ProgressASG

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

Formats the value using the given formatter.