Struct cadical::Timeout

pub struct Timeout {
    pub started: Instant,
    pub timeout: f32,
}

Callbacks implementing a simple timeout.

Fields

started: Instant

timeout: f32

Implementations

impl Timeout

pub fn new(timeout: f32) -> Self

Creates a new timeout structure with the given timeout value.

Trait Implementations

impl Callbacks for Timeout

fn started(&mut self)

Called when the solve method is called.

fn terminate(&mut self) -> bool

Called by the solver periodically to check if it should terminate.

fn max_length(&self) -> i32

Returns the maximum length of clauses to be passed to learn. This methods will be called only once when set_callbacks is called.

fn learn(&mut self, clause: &[i32])

Called by the solver when a new derived clause is learnt.