Enum VariableSelectionImpls

pub enum VariableSelectionImpls {
    Vsids(Vsids),
    VsidsHeap(VsidsHeap),
    FixedOrder(FixedOrder),
    RandomOrder(RandomOrder),
    JeroslowWangOneSided(JeroslowWangOneSided),
    JeroslowWangTwoSided(JeroslowWangTwoSided),
}

Enum to encapsulate different variable selection implementations.

Variants

Vsids(Vsids)

VSIDS with a vector.

VsidsHeap(VsidsHeap)

VSIDS with a binary heap.

FixedOrder(FixedOrder)

Fixed order variable selection.

RandomOrder(RandomOrder)

Random order variable selection.

JeroslowWangOneSided(JeroslowWangOneSided)

Jeroslow-Wang one-sided variable selection.

JeroslowWangTwoSided(JeroslowWangTwoSided)

Jeroslow-Wang two-sided variable selection.

Trait Implementations

impl Clone for VariableSelectionImpls

fn clone(&self) -> VariableSelectionImpls

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VariableSelectionImpls

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

Formats the value using the given formatter.

impl<L: Literal> VariableSelection<L> for VariableSelectionImpls

fn new<C: AsRef<[L]>>(num_vars: usize, lits: &[L], clauses: &[C]) -> Self

Creates a new instance of the variable selection strategy.

fn pick<A: Assignment>(&mut self, assignment: &A) -> Option<L>

Picks an unassigned variable for the next decision.

fn bumps<T: IntoIterator<Item = L>>(&mut self, vars: T)

Increases the activity score of the specified variables.

fn decay(&mut self, decay: f64)

Decays the activity scores of all variables.

fn decisions(&self) -> usize

Returns the number of decisions made by this strategy.