[−][src]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 |
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. |