Crate aiger

AIGER (And-Inverter graph) file format parser

Structs

Header

The data contained in the header of an AIGER file.

Literal

A literal value from an AIGER file, encoding both a variable index and “sign bit” which determines if the variable is negated/inverted.

Reader

A wrapper around a type implementing io::Read which reads an AIGER header and AIGER records.

RecordsIter

An iterator over the records of an AIGER file.

Enums

Aiger

A record from an AIGER file.

AigerError

An error which occurs while parsing an AIGER file.

Symbol

The type specifier for a symbol table entry.