[−][src]Struct batsat::core::SolverOpts

pub struct SolverOpts {
    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,
}

Solver options.

This can be used to tune the solver heuristics.

Fields

var_decay: f64clause_decay: f64random_var_freq: f64random_seed: f64ccmin_mode: i32phase_saving: i32rnd_init_act: boolluby_restart: boolrestart_first: i32restart_inc: f64garbage_frac: f64min_learnts_lim: i32

Implementations

impl SolverOpts[src]

pub fn check(&self) -> bool[src]

Check that options are valid.

Trait Implementations

impl Default for SolverOpts[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.