Struct Linear

pub struct Linear<const N: usize> { /* private fields */ }

A linear restart strategy.

The interval between restarts increases by a fixed amount N after each restart. The sequence of intervals is initial_N, initial_N + N, initial_N + 2N, .... The generic constant N is the fixed amount by which the interval increases.

Trait Implementations

impl<const N: usize> Clone for Linear<N>

fn clone(&self) -> Linear<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const N: usize> Debug for Linear<N>

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

Formats the value using the given formatter.

impl<const N: usize> PartialEq for Linear<N>

fn eq(&self, other: &Linear<N>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<const N: usize> Restarter for Linear<N>

fn new() -> Self

Creates a new Linear restarter. restarts_in is initialised to 0, meaning it will restart on the first call to should_restart(). The first interval after the initial restart will be N, the next 2N, then 3N, and so on.

fn restart(&mut self)

Performs a restart:

1. Increments the restart count.
2. Sets restarts_in to the current restarts_interval.
3. Increases restarts_interval by N for the next cycle.

fn restarts_in(&self) -> usize

Returns the number of conflicts (or other units) remaining until the next restart. When this count reaches zero, a restart should occur.

fn increment_restarts_in(&mut self)

Decrements the count of conflicts (or units) remaining until the next restart. This is called after each conflict in the solver.

fn num_restarts(&self) -> usize

Returns the total number of restarts performed by this strategy so far.

fn should_restart(&mut self) -> bool

Checks if a restart should occur based on the current state.

impl<const N: usize> Eq for Linear<N>

impl<const N: usize> StructuralPartialEq for Linear<N>