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 !=
.