Expand description
Sat solver output.
Variants
Unknown
Unknown satisfiability.
Unsatisfiable
Instance is unsatisfiable.
Satisfiable(Option<Vec<bool>>)
Instance is satisfiable. Possible assignment given as vector boolean values.
Index in this vector is literal value. Just v[2]
gets value of second variable.
Trait Implementations
impl Eq for SatOutput
impl StructuralEq for SatOutput
impl StructuralPartialEq for SatOutput
Auto Trait Implementations
impl RefUnwindSafe for SatOutput
impl Send for SatOutput
impl Sync for SatOutput
impl Unpin for SatOutput
impl UnwindSafe for SatOutput
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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