Struct aiger::Header

pub struct Header {
    pub m: usize,
    pub i: usize,
    pub l: usize,
    pub o: usize,
    pub a: usize,
}

The data contained in the header of an AIGER file.

Fields

m: usize

The maximum variable index.

i: usize

The number of inputs.

l: usize

The number of latches.

o: usize

The number of outputs.

a: usize

The number of AND gates.

Trait Implementations

impl Clone for Header

fn clone(&self) -> Header

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Header

impl Debug for Header

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

Formats the value using the given formatter.

impl Eq for Header

impl FromStr for Header

type Err = AigerError

The associated error which can be returned from parsing.

fn from_str(header_line: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for Header

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<Header> for Header

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

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

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

This method tests for !=.

impl StructuralEq for Header

impl StructuralPartialEq for Header