Struct FixedOrder

pub struct FixedOrder { /* private fields */ }

A variable selection strategy that picks variables in a fixed, predefined order.

It iterates through variables by their index (1 to num_vars - 1). The first unassigned variable encountered is chosen. The polarity (truth value) assigned to the chosen variable is selected randomly.

This strategy is simple and deterministic in variable choice (once an order is set) but random in polarity.

Trait Implementations

impl Clone for FixedOrder

fn clone(&self) -> FixedOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedOrder

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

Formats the value using the given formatter.

impl Default for FixedOrder

fn default() -> FixedOrder

Returns the “default value” for a type.

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

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

Creates a new FixedOrder strategy. num_vars is the total number of variables. The random number generator is initialised with a fixed seed (0).

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

Picks the first unassigned variable according to a fixed order (variable index). Variables are typically checked from index 1 up to var_count - 1. The polarity of the chosen variable is selected randomly.

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

No-op

fn decay(&mut self, _: f64)

No-op

fn decisions(&self) -> usize

Returns the total number of decisions made by this strategy instance.