pub enum SmtResponse {
Sat,
Unsat,
Unknown,
}
Variants§
Trait Implementations§
Source§impl Clone for SmtResponse
impl Clone for SmtResponse
Source§fn clone(&self) -> SmtResponse
fn clone(&self) -> SmtResponse
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations§
impl Freeze for SmtResponse
impl RefUnwindSafe for SmtResponse
impl Send for SmtResponse
impl Sync for SmtResponse
impl Unpin for SmtResponse
impl UnwindSafe for SmtResponse
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