Enum SequenceGeneratorType

pub enum SequenceGeneratorType {
    Constant,
    Geometric,
    Luby,
}

Specifies the type of sequence which is used to generate conflict limits before a restart occurs.

Variants

Constant

Indicates that the restart strategy should restart every x conflicts.

Geometric

Indicates that the restarts strategy should use geometric restarts.

Given two constants base and multiplicative_factor, the i-th element f(i) in a geometric sequence is caluclated as follows:

• f(i) = f(i - 1) * multiplicative_factor
• f(0) = base

When multiplicative_factor is not an integer, then the above formula is not the same as the formula f(i) = a * m^i since intermediate values are founded down.

Luby

Indicates that the restart strategy should use Luby restarts [1].

The Luby sequence is a recursive sequence of the form: 1, 1, 2, 1, 1, 2, 4, 1, 1, 2, 1, 1, 2, 4, 8, 1, 1, 2….

Bibliography

[1] M. Luby, A. Sinclair, and D. Zuckerman, ‘Optimal speedup of Las Vegas algorithms’, Information Processing Letters, vol. 47, no. 4, pp. 173–180, 1993.

Trait Implementations

impl Clone for SequenceGeneratorType

fn clone(&self) -> SequenceGeneratorType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SequenceGeneratorType

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

Formats the value using the given formatter.

impl Display for SequenceGeneratorType

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

Formats the value using the given formatter.

impl Copy for SequenceGeneratorType