Enum rustsat_kissat::Limit
source · pub enum Limit {
Conflicts(c_uint),
Decisions(c_uint),
}
Expand description
Possible Kissat limits
Variants§
Conflicts(c_uint)
A limit on the number of conflicts
Decisions(c_uint)
A limit on the number of decisions
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Limit
impl RefUnwindSafe for Limit
impl Send for Limit
impl Sync for Limit
impl Unpin for Limit
impl UnwindSafe for Limit
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