Skip to main content

Interrupt

rustsat::solvers

Trait Interrupt 

Source 
pub trait Interrupt {
    type Interrupter: InterruptSolver + Send + 'static;

    // Required method
    fn interrupter(&mut self) -> Self::Interrupter;
}
Expand description

Trait for all solvers that can be asynchronously interrupt.

Required Associated Types§

Source

type Interrupter: InterruptSolver + Send + 'static

The interrupter of the solver

Required Methods§

Source

fn interrupter(&mut self) -> Self::Interrupter

Gets a thread safe interrupter object that can be used to terminate the solver

Implementors§