Struct batsat::core::SolverOpts
source · pub struct SolverOpts {Show 13 fields
pub var_decay: f64,
pub clause_decay: f64,
pub random_var_freq: f64,
pub random_seed: f64,
pub ccmin_mode: i32,
pub phase_saving: i32,
pub rnd_init_act: bool,
pub luby_restart: bool,
pub restart_first: i32,
pub restart_inc: f64,
pub garbage_frac: f64,
pub min_learnts_lim: i32,
pub produce_proof: bool,
}
Fields
var_decay: f64
clause_decay: f64
random_var_freq: f64
random_seed: f64
ccmin_mode: i32
phase_saving: i32
rnd_init_act: bool
luby_restart: bool
restart_first: i32
restart_inc: f64
garbage_frac: f64
min_learnts_lim: i32
produce_proof: bool
Implementations
sourceimpl SolverOpts
impl SolverOpts
Trait Implementations
sourceimpl Default for SolverOpts
impl Default for SolverOpts
sourcefn default() -> SolverOpts
fn default() -> SolverOpts
Returns the “default value” for a type. Read more
Auto Trait Implementations
impl RefUnwindSafe for SolverOpts
impl Send for SolverOpts
impl Sync for SolverOpts
impl Unpin for SolverOpts
impl UnwindSafe for SolverOpts
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more