Searched refs:LitPrev (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaWriteAig.c | 240 int Pos = 0, Lit, LitPrev, Diff, i; in Ioa_WriteEncodeLiterals() local
242 LitPrev = Vec_IntEntry( vLits, 0 ); in Ioa_WriteEncodeLiterals()
243 Pos = Ioa_WriteAigerEncode( (unsigned char *)Vec_StrArray(vBinary), Pos, LitPrev ); in Ioa_WriteEncodeLiterals()
246 Diff = Lit - LitPrev; in Ioa_WriteEncodeLiterals()
247 Diff = (Lit < LitPrev)? -Diff : Diff; in Ioa_WriteEncodeLiterals()
248 Diff = (Diff << 1) | (int)(Lit < LitPrev); in Ioa_WriteEncodeLiterals()
250 LitPrev = Lit; in Ioa_WriteEncodeLiterals()
|
| H A D | ioaReadAig.c | 73 int Lit, LitPrev, Diff, i; in Ioa_WriteDecodeLiterals() local
75 LitPrev = Ioa_ReadAigerDecode( ppPos ); in Ioa_WriteDecodeLiterals()
76 Vec_IntPush( vLits, LitPrev ); in Ioa_WriteDecodeLiterals()
84 Lit = Diff + LitPrev; in Ioa_WriteDecodeLiterals()
86 LitPrev = Lit; in Ioa_WriteDecodeLiterals()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioReadAiger.c | 82 int Lit, LitPrev, Diff, i; in Io_WriteDecodeLiterals() local
84 LitPrev = Io_ReadAigerDecode( ppPos ); in Io_WriteDecodeLiterals()
85 Vec_IntPush( vLits, LitPrev ); in Io_WriteDecodeLiterals()
93 Lit = Diff + LitPrev; in Io_WriteDecodeLiterals()
95 LitPrev = Lit; in Io_WriteDecodeLiterals()
|
| H A D | ioWriteAiger.c | 226 int Pos = 0, Lit, LitPrev, Diff, i; in Io_WriteEncodeLiterals() local
228 LitPrev = Vec_IntEntry( vLits, 0 ); in Io_WriteEncodeLiterals()
229 Pos = Io_WriteAigerEncode( (unsigned char *)Vec_StrArray(vBinary), Pos, LitPrev ); in Io_WriteEncodeLiterals()
232 Diff = Lit - LitPrev; in Io_WriteEncodeLiterals()
233 Diff = (Lit < LitPrev)? -Diff : Diff; in Io_WriteEncodeLiterals()
234 Diff = (Diff << 1) | (int)(Lit < LitPrev); in Io_WriteEncodeLiterals()
236 LitPrev = Lit; in Io_WriteEncodeLiterals()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaAiger.c | 112 int Lit, LitPrev, Diff, i; in Gia_AigerReadLiterals() local
114 LitPrev = Gia_AigerReadUnsigned( ppPos ); in Gia_AigerReadLiterals()
115 Vec_IntPush( vLits, LitPrev ); in Gia_AigerReadLiterals()
123 Lit = Diff + LitPrev; in Gia_AigerReadLiterals()
125 LitPrev = Lit; in Gia_AigerReadLiterals()
132 int Pos = 0, Lit, LitPrev, Diff, i; in Gia_AigerWriteLiterals() local
134 LitPrev = Vec_IntEntry( vLits, 0 ); in Gia_AigerWriteLiterals()
138 Diff = Lit - LitPrev; in Gia_AigerWriteLiterals()
139 Diff = (Lit < LitPrev)? -Diff : Diff; in Gia_AigerWriteLiterals()
140 Diff = (Diff << 1) | (int)(Lit < LitPrev); in Gia_AigerWriteLiterals()
[all …]
|