Enum boolector::option::NumberFormat
source · [−]pub enum NumberFormat {
Binary,
Decimal,
Hexadecimal,
}
Variants
Binary
Decimal
Hexadecimal
Auto Trait Implementations
impl RefUnwindSafe for NumberFormat
impl Send for NumberFormat
impl Sync for NumberFormat
impl Unpin for NumberFormat
impl UnwindSafe for NumberFormat
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