Enum splr::state::SearchStrategy

pub enum SearchStrategy {
    Initial,
    Generic,
    LowDecisions,
    HighSuccesive,
    LowSuccesiveLuby,
    LowSuccesiveM,
    ManyGlues,
}

A collection of named search heuristics

Variants

Initial

the initial search phase to determine a main strategy

Generic

Non-Specific-Instance using generic settings

LowDecisions

Many-Low-Level-Conflicts using Chan Seok heuristics

HighSuccesive

High-Successive-Conflicts using Chan Seok heuristics

LowSuccesiveLuby

Low-Successive-Conflicts w/ Luby sequence

LowSuccesiveM

Low-Successive-Conflicts w/o Luby sequence

ManyGlues

Many-Glue-Clauses

Methods

impl SearchStrategy

pub fn to_str(&self) -> &'static str

Trait Implementations

impl Eq for SearchStrategy

impl PartialEq<SearchStrategy> for SearchStrategy

fn eq(&self, other: &SearchStrategy) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Debug for SearchStrategy

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

Formats the value using the given formatter.

impl Display for SearchStrategy

fn fmt(&self, formatter: &mut Formatter) -> Result

Formats the value using the given formatter.