Struct RecursiveMinimizer 

pub struct RecursiveMinimizer { /* private fields */ }

Recursive clause minimization manager

Implementations

impl RecursiveMinimizer

pub fn new(num_vars: usize) -> Self

Create a new recursive minimizer

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

Resize the minimizer for a new number of variables

pub fn stats(&self) -> &RecursiveMinStats

Get statistics

pub fn minimize( &mut self, clause: &[Lit], clauses: &ClauseDatabase, reasons: &[Reason], level: &[u32], current_level: u32, ) -> SmallVec<[Lit; 8]>

Minimize a learned clause using recursive minimization

Returns the minimized clause