Enum 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 Debug for AigerError

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

Formats the value using the given formatter.

impl From<Error> for AigerError

fn from(_error: Error) -> Self

Converts to this type from the input type.

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AigerError

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for AigerError

impl Eq for AigerError

impl StructuralPartialEq for AigerError