Struct Fixed

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

A fixed interval restart strategy.

Restarts occur every N conflicts (or other units). The generic constant N defines this fixed interval.

Trait Implementations

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

fn clone(&self) -> Fixed<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 Fixed<N>

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

Formats the value using the given formatter.

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

fn eq(&self, other: &Fixed<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 Fixed<N>

fn new() -> Self

Creates a new Fixed restarter. restarts_in is initialised to 0, meaning it will restart on the first call to should_restart(). The interval for all subsequent restarts will be N.

fn restart(&mut self)

Performs a restart:

1. Increments the restart count.
2. Resets restarts_in to restarts_interval (which is fixed at N).

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 Fixed<N>

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