Searched refs:tTemp2 (Results 1 – 8 of 8) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmPre.c | 807 word tCur, tTemp1, tTemp2; in Extra_Truth6AllConfigs2() local
815 tTemp2 = tCur; in Extra_Truth6AllConfigs2()
821 assert( tTemp2 == tCur ); in Extra_Truth6AllConfigs2()
840 word tCur = t, tTemp1, tTemp2; in Extra_Truth6AllConfigs() local
848 tTemp2 = tCur; in Extra_Truth6AllConfigs()
856 assert( tTemp2 == tCur ); in Extra_Truth6AllConfigs()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecMult.c | 167 word tCur, tTemp1, tTemp2; in Extra_TruthCanonNPN3() local
177 tTemp2 = tCur; in Extra_TruthCanonNPN3()
185 assert( tTemp2 == tCur ); in Extra_TruthCanonNPN3()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTruth.c | 352 word tCur, tTemp1, tTemp2; in If_DeriveHashTable6() local
361 tTemp2 = tCur; in If_DeriveHashTable6()
369 assert( tTemp2 == tCur ); in If_DeriveHashTable6()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMisc.c | 2295 word tCur, tTemp1, tTemp2; in Extra_Truth6MinimumExact() local
2305 tTemp2 = tCur; in Extra_Truth6MinimumExact()
2311 assert( tTemp2 == tCur ); in Extra_Truth6MinimumExact()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaPf.c | 179 word tCur, tTemp1, tTemp2; in Pf_StoCreateGate() local
186 tTemp2 = tCur; in Pf_StoCreateGate()
195 assert( tTemp2 == tCur ); in Pf_StoCreateGate()
|
| H A D | giaMf.c | 157 word uTruth, tCur, tTemp1, tTemp2; in Mf_ManTruthCollect() local
167 tTemp2 = tCur; in Mf_ManTruthCollect()
173 assert( tTemp2 == tCur ); in Mf_ManTruthCollect()
|
| H A D | giaNf.c | 253 word tCur, tTemp1, tTemp2; in Nf_StoCreateGateMaches() local
261 tTemp2 = tCur; in Nf_StoCreateGateMaches()
270 assert( tTemp2 == tCur ); in Nf_StoCreateGateMaches()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
| H A D | mioUtils.c | 1247 word tCur, tTemp1, tTemp2; in Nf_ManPrepareGate() local
1256 tTemp2 = tCur; in Nf_ManPrepareGate()
1262 assert( tTemp2 == tCur ); in Nf_ManPrepareGate()
|