Crate gipsyh_aiger

source ·
Expand description

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.