Enum SatResult
pub enum SatResult<M> {
Unknown,
Sat(M),
Unsat,
}
Expand description
The result of running a SAT solver on a set of assertions.
Variants§
Unknown
The SAT solver timed out.
Sat(M)
A model satisfying all assertions was found.
Unsat
It is not possible to satisfy all assertions.
Trait Implementations§
Auto Trait Implementations§
impl<M> Freeze for SatResult<M>where
M: Freeze,
impl<M> RefUnwindSafe for SatResult<M>where
M: RefUnwindSafe,
impl<M> Send for SatResult<M>where
M: Send,
impl<M> Sync for SatResult<M>where
M: Sync,
impl<M> Unpin for SatResult<M>where
M: Unpin,
impl<M> UnwindSafe for SatResult<M>where
M: UnwindSafe,
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