Enum boolector::SolverResult
source · [−]pub enum SolverResult {
Sat,
Unsat,
Unknown,
}
Variants
Sat
Unsat
Unknown
Trait Implementations
sourceimpl Clone for SolverResult
impl Clone for SolverResult
sourcefn clone(&self) -> SolverResult
fn clone(&self) -> SolverResult
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for SolverResult
impl Debug for SolverResult
sourceimpl PartialEq<SolverResult> for SolverResult
impl PartialEq<SolverResult> for SolverResult
impl Copy for SolverResult
impl Eq for SolverResult
impl StructuralEq for SolverResult
impl StructuralPartialEq for SolverResult
Auto Trait Implementations
impl RefUnwindSafe for SolverResult
impl Send for SolverResult
impl Sync for SolverResult
impl Unpin for SolverResult
impl UnwindSafe for SolverResult
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more