pub enum SatResult {
Unsat,
Unknown,
Sat,
}
Expand description
Result of a satisfiability query.
Variants§
Unsat
The query is unsatisfiable.
Unknown
The query was interrupted, timed out or otherwise failed.
Sat
The query is satisfiable.
Trait Implementations§
source§impl PartialEq<SatResult> for SatResult
impl PartialEq<SatResult> for SatResult
impl Copy for SatResult
impl Eq for SatResult
impl StructuralEq for SatResult
impl StructuralPartialEq for SatResult
Auto Trait Implementations§
impl RefUnwindSafe for SatResult
impl Send for SatResult
impl Sync for SatResult
impl Unpin for SatResult
impl UnwindSafe for SatResult
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