Struct ThreadLocalZ3
pub struct ThreadLocalZ3 { /* private fields */ }
Expand description
A SolverProvider
that uses a thread-local Z3 instance.
Implementations§
§impl ThreadLocalZ3
impl ThreadLocalZ3
Trait Implementations§
§impl SolverProvider for ThreadLocalZ3
impl SolverProvider for ThreadLocalZ3
Auto Trait Implementations§
impl Freeze for ThreadLocalZ3
impl RefUnwindSafe for ThreadLocalZ3
impl Send for ThreadLocalZ3
impl Sync for ThreadLocalZ3
impl Unpin for ThreadLocalZ3
impl UnwindSafe for ThreadLocalZ3
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Identity for Twhere
T: ?Sized,
impl<T> Identity for Twhere
T: ?Sized,
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more