Searched defs:LitPrev (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaReadAig.c | 73 int Lit, LitPrev, Diff, i; in Ioa_WriteDecodeLiterals() local
|
| H A D | ioaWriteAig.c | 240 int Pos = 0, Lit, LitPrev, Diff, i; in Ioa_WriteEncodeLiterals() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaAiger.c | 112 int Lit, LitPrev, Diff, i; in Gia_AigerReadLiterals() local
132 int Pos = 0, Lit, LitPrev, Diff, i; in Gia_AigerWriteLiterals() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioReadAiger.c | 82 int Lit, LitPrev, Diff, i; in Io_WriteDecodeLiterals() local
|
| H A D | ioWriteAiger.c | 226 int Pos = 0, Lit, LitPrev, Diff, i; in Io_WriteEncodeLiterals() local
|