Enum boolector::option::OutputFileFormat
source · [−]pub enum OutputFileFormat {
BTOR,
SMTLIBv2,
AigerASCII,
AigerBinary,
}
Variants
BTOR
SMTLIBv2
AigerASCII
AigerBinary
Auto Trait Implementations
impl RefUnwindSafe for OutputFileFormat
impl Send for OutputFileFormat
impl Sync for OutputFileFormat
impl Unpin for OutputFileFormat
impl UnwindSafe for OutputFileFormat
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