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 duplicate 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<(), Error>

Formats the value using the given formatter.

impl Default for SequenceGeneratorType

fn default() -> SequenceGeneratorType

Returns the “default value” for a type.

impl ValueEnum for SequenceGeneratorType

fn value_variants<'a>() -> &'a [SequenceGeneratorType]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for SequenceGeneratorType