Struct LearnedDatabase 

pub struct LearnedDatabase { /* private fields */ }

Learned clause database.

Implementations

impl LearnedDatabase

pub fn new(decay_factor: f64) -> Self

Create a new learned database.

pub fn add_clause(&mut self, clause: LearnedClause)

Add a clause to the database.

pub fn bump_activity(&mut self, clause_id: ClauseId)

Bump clause activity.

pub fn decay(&mut self)

Decay all activities.

pub fn reduce(&mut self)

Reduce database by removing low-activity clauses.

Trait Implementations

impl Clone for LearnedDatabase

fn clone(&self) -> LearnedDatabase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LearnedDatabase

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

Formats the value using the given formatter.