Struct z3::ContextHandle [−][src]
pub struct ContextHandle<'ctx> { /* fields omitted */ }
Expand description
Handle that can be used to interrupt a computation from another thread.
Implementations
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for ContextHandle<'ctx>
impl<'ctx> Unpin for ContextHandle<'ctx>
impl<'ctx> UnwindSafe for ContextHandle<'ctx>