pub enum AigerError {
InvalidHeader,
InvalidLiteral,
LiteralOutOfRange,
InvalidLiteralCount,
InvalidInverted,
InvalidSymbol,
IoError,
}
Expand description
An error which occurs while parsing an AIGER file.
Variants§
InvalidHeader
No AIGER header could be found, or the header which was found could not be parsed.
InvalidLiteral
A literal which was not a positive integer was encountered.
LiteralOutOfRange
A literal with a variable greater than the maximum declared in the AIGER header was encountered.
InvalidLiteralCount
Too many or too few literals were encountered for the expected type of record.
InvalidInverted
An inverted literal was encountered where an inverted literal is not allowed.
InvalidSymbol
An invalid symbol table entry was encountered.
IoError
An IO error occurred while reading.
Trait Implementations§
Source§impl Clone for AigerError
impl Clone for AigerError
Source§fn clone(&self) -> AigerError
fn clone(&self) -> AigerError
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for AigerError
impl Debug for AigerError
Source§impl From<Error> for AigerError
impl From<Error> for AigerError
Source§impl Hash for AigerError
impl Hash for AigerError
Source§impl PartialEq for AigerError
impl PartialEq for AigerError
impl Copy for AigerError
impl Eq for AigerError
impl StructuralPartialEq for AigerError
Auto Trait Implementations§
impl Freeze for AigerError
impl RefUnwindSafe for AigerError
impl Send for AigerError
impl Sync for AigerError
impl Unpin for AigerError
impl UnwindSafe for AigerError
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