Struct Geometric 

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

A geometric restart strategy.

The interval between restarts is multiplied by a constant factor N (where N > 1 for increasing intervals) after each restart. The sequence of intervals is initial, initial*N, initial*N*N, .... Here, initial seems to be 1 based on restarts_interval: 1 and then it’s multiplied by N. The first interval will be 1 (due to restarts_in: 0 and restarts_interval: 1 upon first restart), then N, then N*N, etc. The generic constant N is the geometric factor.

Trait Implementations

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

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

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

Formats the value using the given formatter.

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

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

fn new() -> Self

Creates a new Geometric 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 1, the next will be 1*N, then 1*N*N, etc.

fn restart(&mut self)

Performs a restart:

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

fn should_restart(&mut self) -> bool

Overrides the default should_restart from the trait. This implementation is identical to the default one but is explicitly written out. If restarts_in is 0, it calls restart() and returns true. Otherwise, it decrements restarts_in and returns false.

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.

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

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