Enum aiger::AigerError

pub enum AigerError {
    InvalidHeader,
    InvalidLiteral,
    LiteralOutOfRange,
    InvalidLiteralCount,
    InvalidInverted,
    InvalidSymbol,
    IoError,
}

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

impl Clone for AigerError

fn clone(&self) -> AigerError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for AigerError

impl Debug for AigerError

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for AigerError

impl From<Error> for AigerError

fn from(_error: Error) -> Self

Performs the conversion.

impl Hash for AigerError

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<AigerError> for AigerError

fn eq(&self, other: &AigerError) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for AigerError

impl StructuralPartialEq for AigerError