Home
last modified time | relevance | path

Searched refs:pEquiv (Results 1 – 25 of 26) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyHaig.c55 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 DivyMan.c93 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 DivyDfs.c52 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 DivyShow.c197 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 DivyUtil.c678 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 DivyCheck.c264 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 DivyFraig.c495 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 Divy.h93 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 DcswInt.h75 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 DcswMan.c64 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 DifSelect.c59 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 DifMap.c511 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 DifMan.c465 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManCreateChoice()
668 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_ManDerefChoiceCutSet()
H A Dif.h341 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 DifUtil.c338 for ( pFanin = pObj; pFanin; pFanin = pFanin->pEquiv ) in If_ManCrossCut()
H A DifCut.c1386 for ( pTemp = pObj; pTemp; pTemp = pTemp->pEquiv ) in If_CutGetCone_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcFpgaFast.c178 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 DabcIf.c251 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 DabcBmc.c102 pFirst3 = Ivy_Regular( pFirst2->pEquiv ); in Abc_NtkBmcReport()
H A DabcIvy.c852 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 DioReadBlifAig.c51 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 DdchChoice.c91 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 DHTRules.c95 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 DHTRules.c95 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 DnwkMap.c206 for ( pTemp = pIfObj; pTemp; pTemp = pTemp->pEquiv ) in Nwk_NodeIfToHop2_rec()

12