[−][src]Enum boolector::option::SLSMoveStrategy

pub enum SLSMoveStrategy {
    BestMove,
    RandomWalk,
    FirstBestMove,
    BestSameMove,
    AlwaysProp,
}

Variants

BestMove

Always choose the best score improving move

RandomWalk

Perform a random walk weighted by score

FirstBestMove

Always choose the first best move, even if another move may be better

BestSameMove

Choose a move even if its score is not better but the same as the score of the previous best move

AlwaysProp

Always choose propagation move, and recover with SLS move in case of conflict

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.