Enum boolector::option::SLSMoveStrategy
source · [−]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
impl RefUnwindSafe for SLSMoveStrategy
impl Send for SLSMoveStrategy
impl Sync for SLSMoveStrategy
impl Unpin for SLSMoveStrategy
impl UnwindSafe for SLSMoveStrategy
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more