Struct CheckSatFuture 

pub struct CheckSatFuture<'sref, Parser> { /* private fields */ }

Master thread.

Implementations

impl<'sref, Parser: Send + 'static> CheckSatFuture<'sref, Parser>

pub fn new(solver: &'sref mut Solver<Parser>) -> Self

Constructor.

pub fn get(&self) -> SmtRes<Option<bool>>

Retrieves the result of the check-sat. Blocking.

pub fn try_get(&self) -> Option<SmtRes<Option<bool>>>

Tries to retrieve the result of the check-sat. Non-blocking.

pub fn timeout_get(&self, timeout: Duration) -> Option<SmtRes<Option<bool>>>

Tries to retrieve the result of the check-sat with a timeout.

Trait Implementations

impl<'sref, Parser> Drop for CheckSatFuture<'sref, Parser>

fn drop(&mut self)

Executes the destructor for this type.