Home
last modified time | relevance | path

Searched refs:pAnd (Results 1 – 25 of 209) sorted by relevance

123456789

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkSpeedup.c76 Aig_Obj_t * ppCofs[32], * pAnd, * pTemp; in Aig_ManSpeedupNode() local
94 pAnd = (Aig_Obj_t *)pObj->pCopy; in Aig_ManSpeedupNode()
98 pAnd = (Aig_Obj_t *)pNode->pCopy; in Aig_ManSpeedupNode()
112 pAnd = (Aig_Obj_t *)pObj->pCopy; in Aig_ManSpeedupNode()
113 Aig_Regular(pAnd)->pData = Aig_Regular(pAnd); in Aig_ManSpeedupNode()
123 pAnd = (Aig_Obj_t *)pNode->pCopy; in Aig_ManSpeedupNode()
124 ppCofs[i] = Aig_NotCond( (Aig_Obj_t *)Aig_Regular(pAnd)->pData, Aig_IsComplement(pAnd) ); in Aig_ManSpeedupNode()
144 pAig->pEquivs[pAnd->Id] = pTemp; in Aig_ManSpeedupNode()
208 Aig_Obj_t * pAnd; in Nwk_ManSpeedup() local
352 Aig_ManForEachNode( pAig, pAnd, i ) in Nwk_ManSpeedup()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcAig.c197 Abc_Obj_t * pAnd; in Abc_AigCleanup() local
271 for ( pAnd = (Abc_Obj_t *)pObj->pData; pAnd; pAnd = (Abc_Obj_t *)pAnd->pData ) in Abc_AigCheck()
321 Abc_Obj_t * pAnd; in Abc_AigAndCreate() local
328 pAnd = p0, p0 = p1, p1 = pAnd; in Abc_AigAndCreate()
335 pAnd->fExor = Abc_NodeIsExorType(pAnd); in Abc_AigAndCreate()
349 return pAnd; in Abc_AigAndCreate()
376 pAnd->fExor = Abc_NodeIsExorType(pAnd); in Abc_AigAndCreateFrom()
389 return pAnd; in Abc_AigAndCreateFrom()
450 pAnd = p0, p0 = p1, p1 = pAnd; in Abc_AigAndLookup()
455 if ( p0 == Abc_ObjChild0(pAnd) && p1 == Abc_ObjChild1(pAnd) ) in Abc_AigAndLookup()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/
H A DdecAbc.c129 Abc_Obj_t * pAnd, * pAnd0, * pAnd1; in Dec_GraphToNetworkNoStrash() local
144 pAnd = Abc_NtkCreateNode( pNtk ); in Dec_GraphToNetworkNoStrash()
145 Abc_ObjAddFanin( pAnd, pAnd0 ); in Dec_GraphToNetworkNoStrash()
146 Abc_ObjAddFanin( pAnd, pAnd1 ); in Dec_GraphToNetworkNoStrash()
147 pNode->pFunc = pAnd; in Dec_GraphToNetworkNoStrash()
171 Abc_Obj_t * pAnd, * pAnd0, * pAnd1; in Dec_GraphToNetworkCount() local
196 if ( Abc_ObjRegular(pAnd) == pRoot ) in Dec_GraphToNetworkCount()
200 pAnd = NULL; in Dec_GraphToNetworkCount()
202 if ( pAnd == NULL || Abc_NodeIsTravIdCurrent(Abc_ObjRegular(pAnd)) ) in Dec_GraphToNetworkCount()
209 if ( pAnd ) in Dec_GraphToNetworkCount()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecOrder.c61 Gia_Obj_t * pAnd = Gia_ManObj( pGia, iAnd ); in Gia_PolynFindOrder() local
64 Vec_IntWriteEntry( vMap, Gia_ObjFaninId0(pAnd, iAnd), 1 ); in Gia_PolynFindOrder()
65 Vec_IntWriteEntry( vMap, Gia_ObjFaninId1(pAnd, iAnd), 1 ); in Gia_PolynFindOrder()
68 …( "Recognizing %d => XXXOR(%d %d)\n", iAnd, Gia_ObjFaninId0(pAnd, iAnd), Gia_ObjFaninId1(pAnd, iAn… in Gia_PolynFindOrder()
109 Gia_Obj_t * pAnd = Gia_ManObj( pGia, iMaj ); in Gia_PolynFindOrder() local
112 Vec_IntWriteEntry( vMap, Gia_ObjFaninId0(pAnd, iMaj), 1 ); in Gia_PolynFindOrder()
113 Vec_IntWriteEntry( vMap, Gia_ObjFaninId1(pAnd, iMaj), 1 ); in Gia_PolynFindOrder()
118 …nizing (%d %d) => HA(%d %d)\n", iXor, iMaj, Gia_ObjFaninId0(pAnd, iMaj), Gia_ObjFaninId1(pAnd, iMa… in Gia_PolynFindOrder()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb4Map.c54 If_Obj_t * pAnd; in Llb_AigMap() local
94 pAnd = (If_Obj_t *)pNode->pCopy; in Llb_AigMap()
95 if ( pAnd == NULL ) in Llb_AigMap()
97 if ( pAnd->nRefs > 0 && (int)If_ObjCutBest(pAnd)->nLeaves >= nLutMin ) in Llb_AigMap()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcSpeedup.c379 Abc_Obj_t * pObj, * pObj2, * pAnd; in Abc_NtkSpeedupNode() local
398 pAnd = pObj->pCopy; in Abc_NtkSpeedupNode()
402 pAnd = pNode->pCopy; in Abc_NtkSpeedupNode()
416 pAnd = pObj->pCopy; in Abc_NtkSpeedupNode()
417 Abc_ObjRegular(pAnd)->pCopy = Abc_ObjRegular(pAnd); in Abc_NtkSpeedupNode()
421 pAnd = pObj->pCopy; in Abc_NtkSpeedupNode()
427 pAnd = pNode->pCopy; in Abc_NtkSpeedupNode()
428 ppCofs[i] = Abc_ObjNotCond( Abc_ObjRegular(pAnd)->pCopy, Abc_ObjIsComplement(pAnd) ); in Abc_NtkSpeedupNode()
439 pAnd = pObj->pCopy; in Abc_NtkSpeedupNode()
449 pObj->pData = pAnd->pData; in Abc_NtkSpeedupNode()
[all …]
H A DabcDress2.c125 Abc_Obj_t * pObj, * pAnd; in Abc_NtkDressMapSetPolarity() local
130 …if ( (pAnd = Abc_ObjRegular(pObj->pCopy)) && Abc_ObjType(pAnd) != ABC_OBJ_NONE ) // strashed objec… in Abc_NtkDressMapSetPolarity()
131 pObj->fPhase = pAnd->fPhase ^ Abc_ObjIsComplement(pObj->pCopy); in Abc_NtkDressMapSetPolarity()
149 Abc_Obj_t * pObj, * pAnd; in Abc_NtkDressMapClasses() local
157 …if ( (pAnd = Abc_ObjRegular(pObj->pCopy)) && Abc_ObjType(pAnd) != ABC_OBJ_NONE && // stra… in Abc_NtkDressMapClasses()
158 …(pObjMan = Aig_Regular((Aig_Obj_t *)pAnd->pCopy)) && Aig_ObjType(pObjMan) != AIG_OBJ_NONE && … in Abc_NtkDressMapClasses()
H A DabcScorr.c67 Abc_Obj_t * pNet, * pNode, * pAnd; in Abc_NtkMapGiaIntoNameId() local
76 if ( pNode && (pAnd = Abc_ObjRegular(pNode->pCopy)) && in Abc_NtkMapGiaIntoNameId()
77 (pObjAig = (Aig_Obj_t *)Abc_ObjRegular(pAnd->pCopy)) && in Abc_NtkMapGiaIntoNameId()
91 if ( pNode && (pAnd = Abc_ObjRegular(pNode->pCopy)) && in Abc_NtkMapGiaIntoNameId()
92 (pObjAig = (Aig_Obj_t *)Abc_ObjRegular(pAnd->pCopy)) && in Abc_NtkMapGiaIntoNameId()
106 if ( pNode && (pAnd = Abc_ObjRegular(pNode->pCopy)) && in Abc_NtkMapGiaIntoNameId()
107 (pObjAig = (Aig_Obj_t *)Abc_ObjRegular(pAnd->pCopy)) && in Abc_NtkMapGiaIntoNameId()
H A DabcIvy.c1014 Ivy_Obj_t * pAnd, * pSum; in Abc_NodeStrashAigSopAig() local
1027 pAnd = Ivy_ManConst1(pMan); in Abc_NodeStrashAigSopAig()
1031 pAnd = Ivy_And( pMan, pAnd, (Ivy_Obj_t *)pFanin->pCopy ); in Abc_NodeStrashAigSopAig()
1033 pAnd = Ivy_And( pMan, pAnd, Ivy_Not((Ivy_Obj_t *)pFanin->pCopy) ); in Abc_NodeStrashAigSopAig()
1037 pSum = Ivy_Exor( pMan, pSum, pAnd ); in Abc_NodeStrashAigSopAig()
1039 pSum = Ivy_Or( pMan, pSum, pAnd ); in Abc_NodeStrashAigSopAig()
1093 Ivy_Obj_t * pAnd; in Abc_NodeStrashAigFactorAig() local
1107 pAnd = Dec_GraphToNetworkIvy( pMan, pFForm ); in Abc_NodeStrashAigFactorAig()
1111 return pAnd; in Abc_NodeStrashAigFactorAig()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/
H A DdarRefact.c233 Aig_Obj_t * pAnd, * pAnd0, * pAnd1; in Dar_RefactTryGraph() local
261 pAnd = Aig_TableLookupTwo( pAig, pAnd0, pAnd1 ); in Dar_RefactTryGraph()
263 if ( Aig_Regular(pAnd) == pRoot ) in Dar_RefactTryGraph()
267 pAnd = NULL; in Dar_RefactTryGraph()
269 if ( pAnd == NULL || Aig_ObjIsTravIdCurrent(pAig, Aig_Regular(pAnd)) ) in Dar_RefactTryGraph()
276 if ( pAnd ) in Dar_RefactTryGraph()
278 if ( Aig_Regular(pAnd) == Aig_ManConst1(pAig) ) in Dar_RefactTryGraph()
280 else if ( Aig_Regular(pAnd) == Aig_Regular(pAnd0) ) in Dar_RefactTryGraph()
282 else if ( Aig_Regular(pAnd) == Aig_Regular(pAnd1) ) in Dar_RefactTryGraph()
284 LevelOld = (int)Aig_Regular(pAnd)->Level; in Dar_RefactTryGraph()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyRwr.c416 Ivy_Obj_t * pAnd, * pAnd0, * pAnd1; in Ivy_GraphToNetworkCount() local
439 … pAnd = Ivy_TableLookup( p, Ivy_ObjCreateGhost(p, pAnd0, pAnd1, IVY_AND, IVY_INIT_NONE) ); in Ivy_GraphToNetworkCount()
441 if ( Ivy_Regular(pAnd) == pRoot ) in Ivy_GraphToNetworkCount()
445 pAnd = NULL; in Ivy_GraphToNetworkCount()
447 if ( pAnd == NULL || Ivy_ObjIsTravIdCurrent(p, Ivy_Regular(pAnd)) ) in Ivy_GraphToNetworkCount()
454 if ( pAnd ) in Ivy_GraphToNetworkCount()
456 if ( Ivy_Regular(pAnd) == p->pConst1 ) in Ivy_GraphToNetworkCount()
458 else if ( Ivy_Regular(pAnd) == Ivy_Regular(pAnd0) ) in Ivy_GraphToNetworkCount()
460 else if ( Ivy_Regular(pAnd) == Ivy_Regular(pAnd1) ) in Ivy_GraphToNetworkCount()
462 LevelOld = (int)Ivy_Regular(pAnd)->Level; in Ivy_GraphToNetworkCount()
[all …]
H A DivySeq.c406 Ivy_Obj_t * pAnd, * pAnd0, * pAnd1; in Ivy_GraphToNetworkSeqCountSeq() local
444 pAnd = Ivy_And( p, pAnd0, pAnd1 ); in Ivy_GraphToNetworkSeqCountSeq()
446 … pAnd = Ivy_TableLookup( p, Ivy_ObjCreateGhost(p, pAnd0, pAnd1, IVY_AND, IVY_INIT_NONE) ); in Ivy_GraphToNetworkSeqCountSeq()
448 if ( Ivy_Regular(pAnd) == pRoot ) in Ivy_GraphToNetworkSeqCountSeq()
452 pAnd = NULL; in Ivy_GraphToNetworkSeqCountSeq()
454 if ( pAnd == NULL || Ivy_ObjIsTravIdCurrent(p, Ivy_Regular(pAnd)) ) in Ivy_GraphToNetworkSeqCountSeq()
459 pNode->pFunc = pAnd; in Ivy_GraphToNetworkSeqCountSeq()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarRefact.c231 Aig_Obj_t * pAnd, * pAnd0, * pAnd1; in Dar_RefactTryGraph() local
259 pAnd = Aig_TableLookupTwo( pAig, pAnd0, pAnd1 ); in Dar_RefactTryGraph()
261 if ( Aig_Regular(pAnd) == pRoot ) in Dar_RefactTryGraph()
265 pAnd = NULL; in Dar_RefactTryGraph()
267 if ( pAnd == NULL || Aig_ObjIsTravIdCurrent(pAig, Aig_Regular(pAnd)) ) in Dar_RefactTryGraph()
274 if ( pAnd ) in Dar_RefactTryGraph()
276 if ( Aig_Regular(pAnd) == Aig_ManConst1(pAig) ) in Dar_RefactTryGraph()
278 else if ( Aig_Regular(pAnd) == Aig_Regular(pAnd0) ) in Dar_RefactTryGraph()
280 else if ( Aig_Regular(pAnd) == Aig_Regular(pAnd1) ) in Dar_RefactTryGraph()
282 LevelOld = (int)Aig_Regular(pAnd)->Level; in Dar_RefactTryGraph()
[all …]
/dports/net/tigervnc-server/tigervnc-1.12.0/unix/xserver/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xwayland/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xorg-dmx/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xorg-nestserver/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xwayland-devel/xorg-xserver-xorg-server-21.0.99.1-177-g9e5a37961/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xorg-server/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xephyr/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xarcan/xarcan-0.6.0/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/x11-servers/xorg-vfbserver/xorg-server-1.20.13/hw/xwin/
H A Dwincursor.c150 unsigned char *pAnd; in winLoadCursor() local
196 pAnd = malloc(nBytes); in winLoadCursor()
197 memset(pAnd, 0xFF, nBytes); in winLoadCursor()
210 pAnd[nWinPix] = 0; in winLoadCursor()
227 pAnd[nWinPix] = reverse(~mask); in winLoadCursor()
316 bit = pAnd[nWinPix]; in winLoadCursor()
350 1, 1, pAnd); in winLoadCursor()
411 pScreenPriv->cursor.sm_cy, pAnd, pXor); in winLoadCursor()
415 free(pAnd); in winLoadCursor()
/dports/databases/db5/db-5.3.28/lang/sql/sqlite/ext/fts3/
H A Dfts3_expr.c596 Fts3Expr *pAnd; in fts3ExprParse() local
598 pAnd = fts3MallocZero(sizeof(Fts3Expr)); in fts3ExprParse()
599 if( !pAnd ){ in fts3ExprParse()
604 pAnd->eType = FTSQUERY_AND; in fts3ExprParse()
605 insertBinaryOperator(&pRet, pPrev, pAnd); in fts3ExprParse()
606 pPrev = pAnd; in fts3ExprParse()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigPhase.c614 Aig_Obj_t * pObj, * pReg, * pCtrl, * pAnd; in Saig_ManAnalizeControl() local
620 pAnd = NULL; in Saig_ManAnalizeControl()
625 pAnd = pObj; in Saig_ManAnalizeControl()
629 if ( pAnd == NULL ) in Saig_ManAnalizeControl()
641 Aig_ObjPrint( p, pAnd ); in Saig_ManAnalizeControl()
647 if ( Aig_ObjFanin0(pObj) == pAnd || Aig_ObjFanin1(pObj) == pAnd ) in Saig_ManAnalizeControl()
/dports/textproc/libsphinxclient/sphinx-2.0.9-release/src/
H A Dsphinxfilter.cpp539 Filter_And * pAnd = new Filter_And(); in Join() local
541 pAnd->Add ( this ); in Join()
542 pAnd->Add ( pFilter ); in Join()
544 return pAnd; in Join()

123456789