Enum RestarterType

pub enum RestarterType {
    Luby,
    Geometric,
    Fixed,
    Linear,
    Never,
}

An enum representing the type of restarter to use in a SAT solver.

Variants

Luby

The Luby restart strategy, which uses the Luby sequence for determining restart intervals.

Geometric

A geometric restart strategy, where the interval between restarts is multiplied by a constant factor N.

Fixed

A fixed interval restart strategy, where restarts occur every N conflicts (or other units).

Linear

A linear restart strategy, where the interval between restarts increases by a fixed amount N after each restart.

Never

A strategy that never triggers a restart.

Implementations

impl RestarterType

pub fn to_impl(self) -> RestarterImpls<3>

Returns a new instance of the corresponding restarter.

Trait Implementations

impl Clone for RestarterType

fn clone(&self) -> RestarterType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RestarterType

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

Formats the value using the given formatter.

impl Default for RestarterType

fn default() -> RestarterType

Returns the “default value” for a type.

impl Display for RestarterType

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

Formats the value using the given formatter.

impl Hash for RestarterType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RestarterType

fn eq(&self, other: &RestarterType) -> 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 ValueEnum for RestarterType

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

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 RestarterType

impl Eq for RestarterType

impl StructuralPartialEq for RestarterType