| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigTiming.c | 213 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local
220 LevelOld = Aig_ObjLevel(pObjNew); in Aig_ManUpdateLevel()
221 if ( LevelOld == Aig_ObjLevelNew(pObjNew) ) in Aig_ManUpdateLevel()
227 Vec_VecPush( p->vLevels, LevelOld, pObjNew ); in Aig_ManUpdateLevel()
230 Vec_VecForEachEntryStart( p->vLevels, pTemp, Lev, k, LevelOld ) in Aig_ManUpdateLevel()
265 int LevelOld, LevFanin, Lev, k; in Aig_ManUpdateReverseLevel() local
272 LevelOld = Aig_ObjReverseLevel(p, pObjNew); in Aig_ManUpdateReverseLevel()
273 if ( LevelOld == Aig_ObjReverseLevelNew(p, pObjNew) ) in Aig_ManUpdateReverseLevel()
279 Vec_VecPush( p->vLevels, LevelOld, pObjNew ); in Aig_ManUpdateReverseLevel()
285 LevelOld = Aig_ObjReverseLevel(p, pTemp); in Aig_ManUpdateReverseLevel()
[all …]
|
| H A D | aigObj.c | 402 int LevelOld = pObjOld->Level; in Aig_ObjReplace() local
411 pObjOld->Level = LevelOld; in Aig_ObjReplace()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigTiming.c | 198 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local
205 LevelOld = Aig_ObjLevel(pObjNew); in Aig_ManUpdateLevel()
206 if ( LevelOld == Aig_ObjLevelNew(pObjNew) ) in Aig_ManUpdateLevel()
212 Vec_VecPush( p->vLevels, LevelOld, pObjNew ); in Aig_ManUpdateLevel()
215 Vec_VecForEachEntryStart( Aig_Obj_t *, p->vLevels, pTemp, Lev, k, LevelOld ) in Aig_ManUpdateLevel()
250 int LevelOld, LevFanin, Lev, k; in Aig_ManUpdateReverseLevel() local
257 LevelOld = Aig_ObjReverseLevel(p, pObjNew); in Aig_ManUpdateReverseLevel()
258 if ( LevelOld == Aig_ObjReverseLevelNew(p, pObjNew) ) in Aig_ManUpdateReverseLevel()
264 Vec_VecPush( p->vLevels, LevelOld, pObjNew ); in Aig_ManUpdateReverseLevel()
270 LevelOld = Aig_ObjReverseLevel(p, pTemp); in Aig_ManUpdateReverseLevel()
[all …]
|
| H A D | aigObj.c | 502 int LevelOld = pObjOld->Level; in Aig_ObjReplace() local
511 pObjOld->Level = LevelOld; in Aig_ObjReplace()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/ |
| H A D | rwrLib.c | 52 int LevelOld = -1; in Rwr_ManPrecompute() local
58 if ( LevelOld < (int)p0->Level ) in Rwr_ManPrecompute()
60 LevelOld = p0->Level; in Rwr_ManPrecompute()
61 printf( "Starting level %d (at %d nodes).\n", LevelOld+1, i ); in Rwr_ManPrecompute()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcTiming.c | 1283 int LevelOld, Lev, k, m; in Abc_NtkUpdateLevel() local
1286 LevelOld = Abc_ObjLevel(pObjNew); in Abc_NtkUpdateLevel()
1287 if ( LevelOld == Abc_ObjLevelNew(pObjNew) ) in Abc_NtkUpdateLevel()
1293 Vec_VecPush( vLevels, LevelOld, pObjNew ); in Abc_NtkUpdateLevel()
1296 Vec_VecForEachEntryStart( Abc_Obj_t *, vLevels, pTemp, Lev, k, LevelOld ) in Abc_NtkUpdateLevel()
1335 int LevelOld, LevFanin, Lev, k, m; in Abc_NtkUpdateReverseLevel() local
1337 LevelOld = Abc_ObjReverseLevel(pObjNew); in Abc_NtkUpdateReverseLevel()
1338 if ( LevelOld == Abc_ObjReverseLevelNew(pObjNew) ) in Abc_NtkUpdateReverseLevel()
1344 Vec_VecPush( vLevels, LevelOld, pObjNew ); in Abc_NtkUpdateReverseLevel()
1350 LevelOld = Abc_ObjReverseLevel(pTemp); in Abc_NtkUpdateReverseLevel()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/ |
| H A D | decAbc.c | 172 int i, Counter, LevelNew, LevelOld; in Dec_GraphToNetworkCount() local
217 LevelOld = (int)Abc_ObjRegular(pAnd)->Level; in Dec_GraphToNetworkCount()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
| H A D | darRefact.c | 234 int i, Counter, LevelNew, LevelOld; in Dar_RefactTryGraph() local
284 LevelOld = (int)Aig_Regular(pAnd)->Level; in Dar_RefactTryGraph()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyRwr.c | 417 int i, Counter, LevelNew, LevelOld; in Ivy_GraphToNetworkCount() local
462 LevelOld = (int)Ivy_Regular(pAnd)->Level; in Ivy_GraphToNetworkCount()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darRefact.c | 232 int i, Counter, LevelNew, LevelOld; in Dar_RefactTryGraph() local
282 LevelOld = (int)Aig_Regular(pAnd)->Level; in Dar_RefactTryGraph()
|
| /dports/net-im/matterbridge/matterbridge-1.22.3/vendor/github.com/SevereCloud/vksdk/v2/events/ |
| H A D | objects.go | 198 LevelOld int `json:"level_old"` member
|