Struct varisat::config::SolverConfigUpdate

pub struct SolverConfigUpdate {
    pub vsids_decay: Option<f32>,
    pub clause_activity_decay: Option<f32>,
    pub reduce_locals_interval: Option<u64>,
    pub reduce_mids_interval: Option<u64>,
    pub luby_restart_interval_scale: Option<u64>,
}

Updates configuration values of SolverConfig.

Fields

vsids_decay: Option<f32>

Multiplicative decay for the VSIDS decision heuristic.

[default: 0.95] [range: 0.5..1.0]

clause_activity_decay: Option<f32>

Multiplicative decay for clause activities.

[default: 0.999] [range: 0.5..1.0]

reduce_locals_interval: Option<u64>

Number of conflicts between local clause reductions.

[default: 15000] [range: 1..]

reduce_mids_interval: Option<u64>

Number of conflicts between mid clause reductions.

[default: 10000] [range: 1..]

luby_restart_interval_scale: Option<u64>

Scaling factor for luby sequence based restarts (number of conflicts).

[default: 128] [range: 1..]

Methods

impl SolverConfigUpdate

pub fn new() -> SolverConfigUpdate

Create an empty config update.

pub fn apply(&self, config: &mut SolverConfig) -> Result<(), Error>

Apply the configuration update.

If an error occurs, the configuration is not changed.

pub fn merge(&mut self, config_update: SolverConfigUpdate)

Merge two configuration updates.

Add the given update, overwriting values of the receiving update.

Trait Implementations

impl Default for SolverConfigUpdate

fn default() -> SolverConfigUpdate

Returns the "default value" for a type.

impl Serialize for SolverConfigUpdate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<'de> Deserialize<'de> for SolverConfigUpdate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

fn deserialize_in_place<D>(
    deserializer: D,
    place: &mut Self
) -> Result<(), <D as Deserializer<'de>>::Error> where
    D: Deserializer<'de>, 

Deserializes a value into self from the given Deserializer.