/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyHaig.c | 55 for ( pTemp = Ivy_Regular(pObj->pEquiv); pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_HaigObjRepr() 70 if ( pObj->pEquiv == NULL ) in Ivy_HaigObjCountClass() 74 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_HaigObjCountClass() 142 Ivy_ManConst1(pNew)->pEquiv = Ivy_ManConst1(p)->pEquiv; in Ivy_ManHaigTrasfer() 144 pObj->pEquiv = Ivy_ManPi( p, i )->pEquiv; in Ivy_ManHaigTrasfer() 169 pObj->pEquiv = NULL; in Ivy_ManHaigStop() 256 pObjOldHaig = pObjOld->pEquiv; in Ivy_ManHaigCreateChoice() 287 if ( pObjOldHaigR->pEquiv == NULL ) in Ivy_ManHaigCreateChoice() 290 pObjNewHaigR->pEquiv = Ivy_NotCond( pObjOldHaigR->pEquiv, fCompl ); in Ivy_ManHaigCreateChoice() 291 pObjOldHaigR->pEquiv = pObjNewHaigR; in Ivy_ManHaigCreateChoice() [all …]
|
H A D | ivyMan.c | 93 Ivy_ManConst1(p)->pEquiv = Ivy_ManConst1(pNew); in Ivy_ManStartFrom() 95 pObj->pEquiv = Ivy_ObjCreatePi(pNew); in Ivy_ManStartFrom() 121 Ivy_ManConst1(p)->pEquiv = Ivy_ManConst1(pNew); in Ivy_ManDup() 123 pObj->pEquiv = Ivy_ObjCreatePi(pNew); in Ivy_ManDup() 126 pObj->pEquiv = Ivy_ObjCreatePi(pNew); in Ivy_ManDup() 130 pObj->pEquiv = Ivy_ObjChild0Equiv(pObj); in Ivy_ManDup() 140 pObj->pEquiv->Type = IVY_LATCH; in Ivy_ManDup() 141 pObj->pEquiv->Init = pObj->Init; in Ivy_ManDup() 194 Ivy_ManConst1(pMan)->pEquiv = Ivy_ManConst1(pNew); in Ivy_ManFrames() 196 Ivy_ManPi(pMan, i)->pEquiv = Ivy_ObjCreatePi(pNew); in Ivy_ManFrames() [all …]
|
H A D | ivyDfs.c | 52 if ( p->pHaig == NULL && pObj->pEquiv ) in Ivy_ManDfs_rec() 53 Ivy_ManDfs_rec( p, Ivy_Regular(pObj->pEquiv), vNodes ); in Ivy_ManDfs_rec() 67 if ( p->pHaig == NULL && pObj->pEquiv ) in Ivy_ManDfs_rec() 68 Ivy_ManDfs_rec( p, Ivy_Regular(pObj->pEquiv), vNodes ); in Ivy_ManDfs_rec() 313 assert( !Ivy_IsComplement(pObj->pEquiv) ); in Ivy_ManIsAcyclic_rec() 314 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ManIsAcyclic_rec() 321 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ManIsAcyclic_rec() 429 if ( fHaig && pObj->pEquiv && Ivy_ObjRefs(pObj) > 0 ) in Ivy_ManSetLevels_rec() 433 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ManSetLevels_rec() 440 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ManSetLevels_rec() [all …]
|
H A D | ivyShow.c | 197 if ( fHaig || pNode->pEquiv == NULL ) in Ivy_WriteDotAig() 203 Ivy_Regular(pNode->pEquiv)->Id, Ivy_IsComplement(pNode->pEquiv)? "\'":"" ); in Ivy_WriteDotAig() 223 if ( fHaig || pNode->pEquiv == NULL ) in Ivy_WriteDotAig() 227 Ivy_Regular(pNode->pEquiv)->Id, Ivy_IsComplement(pNode->pEquiv)? "\'":"" ); in Ivy_WriteDotAig() 256 if ( fHaig || pNode->pEquiv == NULL ) in Ivy_WriteDotAig() 262 Ivy_Regular(pNode->pEquiv)->Id, Ivy_IsComplement(pNode->pEquiv)? "\'":"" ); in Ivy_WriteDotAig() 304 if ( fHaig && pNode->pEquiv && Ivy_ObjRefs(pNode) > 0 ) in Ivy_WriteDotAig() 307 for ( pTemp = pNode->pEquiv; pTemp != pNode; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_WriteDotAig() 312 … fprintf( pFile, " [style = %s]", Ivy_IsComplement(pTemp->pEquiv)? "dotted" : "bold" ); in Ivy_WriteDotAig() 320 fprintf( pFile, " [style = %s]", Ivy_IsComplement(pPrev->pEquiv)? "dotted" : "bold" ); in Ivy_WriteDotAig()
|
H A D | ivyUtil.c | 678 if ( pObj->pEquiv == NULL ) in Ivy_ObjPrintVerbose() 681 …printf( " HAIG node = %d%s", Ivy_Regular(pObj->pEquiv)->Id, (Ivy_IsComplement(pObj->pEquiv)? "\'" … in Ivy_ObjPrintVerbose() 684 if ( pObj->pEquiv == NULL ) in Ivy_ObjPrintVerbose() 691 assert( !Ivy_IsComplement(pObj->pEquiv) ); in Ivy_ObjPrintVerbose() 692 for ( pTemp = pObj->pEquiv; pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ObjPrintVerbose() 693 printf( " %5d%s", pTemp->Id, (Ivy_IsComplement(pTemp->pEquiv)? "\'" : " ") ); in Ivy_ObjPrintVerbose() 698 …for ( pTemp = Ivy_Regular(pObj->pEquiv); Ivy_ObjRefs(pTemp) == 0; pTemp = Ivy_Regular(pTemp->pEqui… in Ivy_ObjPrintVerbose()
|
H A D | ivyCheck.c | 264 assert( !Ivy_IsComplement(pObj->pEquiv) ); in Ivy_ManCheckChoices() 265 for ( pTemp = pObj->pEquiv; pTemp && pTemp != pObj; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Ivy_ManCheckChoices()
|
H A D | ivyFraig.c | 495 pObj->pEquiv = Ivy_And( p->pManFraig, Ivy_ObjChild0Equiv(pObj), Ivy_ObjChild1Equiv(pObj) ); in Ivy_FraigMiter() 563 assert( !pObj->pEquiv && !pObj->pFanout ); in Ivy_FraigStart() 1935 … Ivy_ObjFanin0(pObj)->pEquiv = Ivy_NotCond( p->pManFraig->pConst1, !Ivy_ObjFaninC0(pObj) ); in Ivy_FraigMiterProve() 1981 … pObj->pEquiv = Ivy_And( p->pManFraig, Ivy_ObjChild0Equiv(pObj), Ivy_ObjChild1Equiv(pObj) ); in Ivy_FraigSweep() 1983 pObj->pEquiv = Ivy_FraigAnd( p, pObj ); in Ivy_FraigSweep() 1984 assert( pObj->pEquiv != NULL ); in Ivy_FraigSweep() 2007 pObj->pEquiv = NULL; in Ivy_FraigSweep() 2882 Ivy_ManConst1(p)->pEquiv = (Ivy_Obj_t *)Aig_ManConst1(pMan); in Ivy_FraigExtractCone() 2885 pObjIvy->pEquiv = (Ivy_Obj_t *)Aig_ObjCreateCi( pMan ); in Ivy_FraigExtractCone() 2895 pMiter = (Aig_Obj_t *)pObjIvy->pEquiv; in Ivy_FraigExtractCone() [all …]
|
H A D | ivy.h | 93 Ivy_Obj_t * pEquiv; // equivalent node member 275 …nt(pObj) ); return Ivy_ObjFanin0(pObj)? Ivy_NotCond(Ivy_ObjFanin0(pObj)->pEquiv, Ivy_ObjFaninC0(pO… in Ivy_ObjChild0Equiv() 276 …nt(pObj) ); return Ivy_ObjFanin1(pObj)? Ivy_NotCond(Ivy_ObjFanin1(pObj)->pEquiv, Ivy_ObjFaninC1(pO… in Ivy_ObjChild1Equiv() 277 … Ivy_Obj_t * pObj ) { return Ivy_Regular(pObj)->pEquiv? Ivy_NotCond(Ivy_Regular(pObj)->pEqui… in Ivy_ObjEquiv()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswInt.h | 75 Aig_Obj_t ** pEquiv; // the equivalent nodes in the resulting manager member 113 …bjEquiv( Csw_Man_t * p, Aig_Obj_t * pObj ) { return p->pEquiv[pObj->Id]; } in Csw_ObjEquiv() 114 …bjSetEquiv( Csw_Man_t * p, Aig_Obj_t * pObj, Aig_Obj_t * pEquiv ) { p->pEquiv[pObj->Id] = pEquiv; } in Csw_ObjSetEquiv() argument
|
H A D | cswMan.c | 64 p->pEquiv = ABC_ALLOC( Aig_Obj_t *, Aig_ManObjNumMax(pMan) ); in Csw_ManStart() 118 ABC_FREE( p->pEquiv ); in Csw_ManStop()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifSelect.c | 59 if ( pIfObj->pEquiv ) in If_ObjConePrint_rec() 60 If_ObjConePrint_rec( pIfMan, pIfObj->pEquiv, vVisited ); in If_ObjConePrint_rec() 63 …", pIfObj->Id, pIfObj->pFanin0->Id, pIfObj->pFanin1->Id, pIfObj->pEquiv ? pIfObj->pEquiv->Id : 0 ); in If_ObjConePrint_rec() 112 for ( i = 0, pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv, i++ ) in If_ManNodeShapeMap_rec() 197 for ( i = 0, pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv, i++ ) in If_ManNodeShapeMap2_rec() 282 for ( pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManConeCollect_rec() 391 for ( pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManNodeShape2_rec() 452 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManNodeShapeSat()
|
H A D | ifMap.c | 511 assert( pObj->pEquiv != NULL ); in If_ObjPerformMappingChoice() 518 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ObjPerformMappingChoice() 525 for ( pTemp = pObj->pEquiv; pTemp; pTemp = pTemp->pEquiv ) in If_ObjPerformMappingChoice()
|
H A D | ifMan.c | 465 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManCreateChoice() 668 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManDerefChoiceCutSet()
|
H A D | if.h | 341 If_Obj_t * pEquiv; // the choice node member 407 static inline void If_ObjSetChoice( If_Obj_t * pObj, If_Obj_t * pEqu ) { pObj->pEquiv = pEqu;… in If_ObjSetChoice()
|
H A D | ifUtil.c | 338 for ( pFanin = pObj; pFanin; pFanin = pFanin->pEquiv ) in If_ManCrossCut()
|
H A D | ifCut.c | 1386 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_CutGetCone_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcFpgaFast.c | 178 pNodeIvy->pEquiv = (Ivy_Obj_t *)Hop_IthVar( (Hop_Man_t *)pNtkNew->pManFunc, i ); in Ivy_ManToAbcFast_rec() 180 …pNodeIvy->pEquiv = (Ivy_Obj_t *)Hop_And( (Hop_Man_t *)pNtkNew->pManFunc, (Hop_Obj_t *)Ivy_ObjChild… in Ivy_ManToAbcFast_rec() 183 pObjAbc->pData = (Abc_Obj_t *)pObjIvy->pEquiv; in Ivy_ManToAbcFast_rec()
|
H A D | abcIf.c | 251 Abc_Obj_t * pEquiv; in Abc_NtkToIf() local 254 …for ( pPrev = pNode, pEquiv = Abc_ObjEquiv(pPrev); pEquiv; pPrev = pEquiv, pEquiv = Abc_ObjEquiv(p… in Abc_NtkToIf() 255 If_ObjSetChoice( Abc_ObjIfCopy(pPrev), Abc_ObjIfCopy(pEquiv) );//, Counter++; in Abc_NtkToIf() 609 for ( pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv ) in Abc_NodeIfToHop2_rec()
|
H A D | abcBmc.c | 102 pFirst3 = Ivy_Regular( pFirst2->pEquiv ); in Abc_NtkBmcReport()
|
H A D | abcIvy.c | 852 if ( fHaig && pNode->pEquiv && Ivy_ObjRefs(pNode) > 0 ) in Abc_NtkFromIvySeq() 856 assert( !Ivy_IsComplement(pNode->pEquiv) ); in Abc_NtkFromIvySeq() 857 for ( pTemp = pNode->pEquiv; pTemp != pNode; pTemp = Ivy_Regular(pTemp->pEquiv) ) in Abc_NtkFromIvySeq()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioReadBlifAig.c | 51 void * pEquiv; // the AIG node representing this line member 907 if ( pObjIo->pEquiv ) in Io_BlifParseConstruct_rec() 908 return (Abc_Obj_t *)pObjIo->pEquiv; in Io_BlifParseConstruct_rec() 925 pObjIo->pEquiv = Io_BlifParseTable( p, pObjIo->pName + strlen(pObjIo->pName), vFanins ); in Io_BlifParseConstruct_rec() 930 return (Abc_Obj_t *)pObjIo->pEquiv; in Io_BlifParseConstruct_rec() 959 pObjIo->pEquiv = pObj; in Io_BlifParseConstruct() 987 pObjIo->pEquiv = pObj; in Io_BlifParseConstruct()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchChoice.c | 91 Aig_Obj_t * pObj, * pEquiv; in Dch_DeriveChoiceCountEquivs() local 95 pEquiv = Aig_ObjEquiv( pAig, pObj ); in Dch_DeriveChoiceCountEquivs() 96 if ( pEquiv == NULL ) in Dch_DeriveChoiceCountEquivs() 98 assert( pEquiv->Id < pObj->Id ); in Dch_DeriveChoiceCountEquivs()
|
/dports/www/lynx/lynx2.8.9rel.1/WWW/Library/Implementation/ |
H A D | HTRules.c | 95 char *pEquiv = NULL; in HTAddRule() local 97 StrAllocCopy(pEquiv, equiv); in HTAddRule() 98 temp->equiv = pEquiv; in HTAddRule()
|
/dports/www/lynx-current/lynx2.9.0dev.9/WWW/Library/Implementation/ |
H A D | HTRules.c | 95 char *pEquiv = NULL; in HTAddRule() local 97 StrAllocCopy(pEquiv, equiv); in HTAddRule() 98 temp->equiv = pEquiv; in HTAddRule()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkMap.c | 206 for ( pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv ) in Nwk_NodeIfToHop2_rec()
|