| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFastMap.c | 67 return pSupp; in Ivy_ObjSuppStart()
265 if ( pSupp->fMark || pSupp->nSize == 1 ) in Ivy_FastMapArea_rec()
422 if ( pSupp->Delay > pSupp->DelayR ) in Ivy_FastMapNodeArea2()
511 RefsOld = pSupp->nRefs; pSupp->nRefs = 0; in Ivy_FastMapNodeArea()
515 if ( AreaAft > AreaBef || pSupp->Delay > pSupp->DelayR ) in Ivy_FastMapNodeArea()
619 pSupp->nSize = Vec_IntRemoveDup( pSupp->pArray, pSupp->nSize ); in Ivy_FastMapNode()
620 assert( pSupp->pArray[0] < pSupp->pArray[1] ); in Ivy_FastMapNode()
688 pSupp->nSize = Vec_IntRemoveDup( pSupp->pArray, pSupp->nSize ); in Ivy_FastMapNode()
689 assert( pSupp->pArray[0] < pSupp->pArray[1] ); in Ivy_FastMapNode()
1471 assert( pSupp->Delay <= pSupp->DelayR ); in Ivy_FastMapNodeRecover()
[all …]
|
| H A D | ivyDsd.c | 146 static int Ivy_TruthRecognizeMuxMaj( unsigned uTruth, int * pSupp, int nSupp, Vec_Int_t * vTree );
319 int Ivy_TruthRecognizeMuxMaj( unsigned uTruth, int * pSupp, int nSupp, Vec_Int_t * vTree ) in Ivy_TruthRecognizeMuxMaj() argument
334 uCof0 = Ivy_TruthCofactor( uTruth, (pSupp[i] << 1) | 1 ); in Ivy_TruthRecognizeMuxMaj()
335 uCof1 = Ivy_TruthCofactor( uTruth, pSupp[i] << 1 ); in Ivy_TruthRecognizeMuxMaj()
342 if ( Ivy_TruthDepends(uCof0, pSupp[k]) && Ivy_TruthDepends(uCof1, pSupp[k]) ) in Ivy_TruthRecognizeMuxMaj()
355 Ivy_DecSetVar( &Node, 0, pSupp[i] << 1 ); in Ivy_TruthRecognizeMuxMaj()
374 Num |= (1 << pSupp[k]); in Ivy_TruthRecognizeMuxMaj()
385 Ivy_DecSetVar( &Node, 0, (pSupp[0] << 1)|(Count[0] == 1) ); in Ivy_TruthRecognizeMuxMaj()
386 Ivy_DecSetVar( &Node, 1, (pSupp[1] << 1)|(Count[1] == 1) ); in Ivy_TruthRecognizeMuxMaj()
387 Ivy_DecSetVar( &Node, 2, (pSupp[2] << 1)|(Count[2] == 1) ); in Ivy_TruthRecognizeMuxMaj()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mvc/ |
| H A D | mvcUtils.c | 62 Mvc_CubeBitClean( pSupp ); in Mvc_CoverSupport()
65 Mvc_CubeBitOr( pSupp, pSupp, pCube ); in Mvc_CoverSupport()
83 Mvc_CubeBitFill( pSupp ); in Mvc_CoverSupportAnd()
86 Mvc_CubeBitAnd( pSupp, pSupp, pCube ); in Mvc_CoverSupportAnd()
102 Mvc_Cube_t * pSupp; in Mvc_CoverSupportSizeBinary() local
105 pSupp = Mvc_CubeAlloc( pCover ); in Mvc_CoverSupportSizeBinary()
106 Mvc_CoverSupportAnd( pCover, pSupp ); in Mvc_CoverSupportSizeBinary()
115 Mvc_CubeFree( pCover, pSupp ); in Mvc_CoverSupportSizeBinary()
132 Mvc_Cube_t * pSupp; in Mvc_CoverSupportVarBelongs() local
135 pSupp = Mvc_CubeAlloc( pCover ); in Mvc_CoverSupportVarBelongs()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraPart.c | 195 char * pSupp; in Fra_ManPartitionTest2() local
225 pSupp = ABC_ALLOC( char, Aig_ManCiNum(p) ); in Fra_ManPartitionTest2()
231 memset( pSupp, 0, sizeof(char) * Aig_ManCiNum(p) ); in Fra_ManPartitionTest2()
235 pSupp[Entry] = 1; in Fra_ManPartitionTest2()
244 pSupp[Entry3] = 1; in Fra_ManPartitionTest2()
251 Counter += pSupp[m]; in Fra_ManPartitionTest2()
257 ABC_FREE( pSupp ); in Fra_ManPartitionTest2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llb4Image.c | 59 int * pSupp; // temporary support storage member
278 Extra_SupportArray( p->dd, pPart->bFunc, p->pSupp ); in Llb_Nonlin4Quantify1()
280 if ( p->pSupp[pVar->iVar] ) in Llb_Nonlin4Quantify1()
300 if ( p->pSupp[i] && Vec_IntEntry(p->vVars2Q, i) ) in Llb_Nonlin4Quantify1()
384 Extra_SupportArray( p->dd, bFunc, p->pSupp ); in Llb_Nonlin4Quantify2()
387 nSuppSize += p->pSupp[i]; in Llb_Nonlin4Quantify2()
388 if ( p->pSupp[i] && Vec_IntEntry(p->vVars2Q, i) ) in Llb_Nonlin4Quantify2()
546 Extra_SupportArray( p->dd, bFunc, p->pSupp ); in Llb_Nonlin4AddPartition()
549 nSuppSize += p->pSupp[k]; in Llb_Nonlin4AddPartition()
705 p->pSupp = ABC_ALLOC( int, Cudd_ReadSize(dd) ); in Llb_Nonlin4Alloc()
[all …]
|
| H A D | llb3Image.c | 61 int * pSupp; // temporary support storage member
300 Extra_SupportArray( p->dd, pPart->bFunc, p->pSupp ); in Llb_NonlinQuantify1()
302 if ( p->pSupp[pVar->iVar] ) in Llb_NonlinQuantify1()
322 if ( p->pSupp[i] && p->pVars2Q[i] ) in Llb_NonlinQuantify1()
416 Extra_SupportArray( p->dd, bFunc, p->pSupp ); in Llb_NonlinQuantify2()
419 nSuppSize += p->pSupp[i]; in Llb_NonlinQuantify2()
420 if ( p->pSupp[i] && p->pVars2Q[i] ) in Llb_NonlinQuantify2()
639 Extra_SupportArray( p->dd, bFunc, p->pSupp ); in Llb_NonlinAddPartition()
642 nSuppSize += p->pSupp[k]; in Llb_NonlinAddPartition()
643 if ( p->pSupp[k] && p->pVars2Q[k] ) in Llb_NonlinAddPartition()
[all …]
|
| H A D | llb4Cluster.c | 338 int i, * pSupp; in Llb_Nonlin4PrintSuppProfile() local
341 pSupp = ABC_CALLOC( int, Cudd_ReadSize(dd) ); in Llb_Nonlin4PrintSuppProfile()
342 Extra_VectorSupportArray( dd, (DdNode **)Vec_PtrArray(vGroups), Vec_PtrSize(vGroups), pSupp ); in Llb_Nonlin4PrintSuppProfile()
349 if ( pSupp[Llb_ObjBddVar(vOrder, pObj)] == 0 ) in Llb_Nonlin4PrintSuppProfile()
367 ABC_FREE( pSupp ); in Llb_Nonlin4PrintSuppProfile()
|
| H A D | llb4Sweep.c | 464 int i, * pSupp; in Llb_Nonlin4SweepPrintSuppProfile() local
467 pSupp = ABC_CALLOC( int, Cudd_ReadSize(dd) ); in Llb_Nonlin4SweepPrintSuppProfile()
468 Extra_VectorSupportArray( dd, (DdNode **)Vec_PtrArray(vGroups), Vec_PtrSize(vGroups), pSupp ); in Llb_Nonlin4SweepPrintSuppProfile()
475 if ( pSupp[Llb_ObjBddVar(vOrder, pObj)] == 0 ) in Llb_Nonlin4SweepPrintSuppProfile()
493 ABC_FREE( pSupp ); in Llb_Nonlin4SweepPrintSuppProfile()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/reo/ |
| H A D | reoCore.c | 63 p->pSupp = Extra_VectorSupportArray( dd, Funcs, nFuncs, p->pSupp ); in reoReorderArray()
67 p->nSupp += p->pSupp[i]; in reoReorderArray()
83 if ( p->pSupp[ dd->invperm[i] ] ) in reoReorderArray()
274 p->pSupp = ABC_ALLOC( int, nDdVarsMax + 1 ); in reoResizeStructures()
286 ABC_FREE( p->pSupp ); in reoResizeStructures()
295 p->pSupp = ABC_ALLOC( int, nDdVarsMax + 1 ); in reoResizeStructures()
|
| H A D | reoApi.c | 82 ABC_FREE( p->pSupp ); in Extra_ReorderQuit()
|
| H A D | reo.h | 117 int * pSupp; // the support of the given function member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmDec.c | 787 Vec_Int_t vVec = { 2*SFM_SUPP_MAX, 0, pSupp }; in Sfm_DecCombineDec()
793 memcpy( pSupp, pSupp0, sizeof(int)*nSupp0 ); in Sfm_DecCombineDec()
807 Abc_TtExpand( pTruth0, nSupp, pSupp0, nSupp0, pSupp, nSupp ); in Sfm_DecCombineDec()
808 Abc_TtExpand( pTruth1, nSupp, pSupp1, nSupp1, pSupp, nSupp ); in Sfm_DecCombineDec()
948 pSupp[0] = Abc_Lit2Var(Impls[0]); in Sfm_DecPeformDec_rec()
987 pSupp[d++] = Abc_LitNot(pFinal[i]); in Sfm_DecPeformDec_rec()
997 pSupp[i] = Abc_Lit2Var(pSupp[i]); in Sfm_DecPeformDec_rec()
1006 pSupp[i] = Abc_Lit2Var(pSupp[i]); in Sfm_DecPeformDec_rec()
1101 int pSupp[SFM_DEC_MAX][2*SFM_SUPP_MAX]; in Sfm_DecPeformDec2() local
1208 int pSupp[SFM_DEC_MAX][2*SFM_SUPP_MAX]; in Sfm_DecPeformDec3() local
[all …]
|
| /dports/devel/icu/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/devel/icu-lx/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/www/firefox-esr/firefox-91.8.0/intl/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/lang/v8/v8-9.6.180.12/third_party/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/intl/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/textproc/R-cran-stringi/stringi/src/icu69/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/www/firefox/firefox-99.0/intl/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/intl/icu/source/common/ |
| H A D | locdistance.h | 94 const LSR *pSupp = &supported; in isMatch() local
96 desired, &pSupp, 1, in isMatch()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDec07.c | 512 word If_Dec6MinimumBase( word uTruth, int * pSupp, int nVarsAll, int * pnVars ) in If_Dec6MinimumBase() argument
520 if ( pSupp ) in If_Dec6MinimumBase()
521 pSupp[iVar] = pSupp[v]; in If_Dec6MinimumBase()
544 void If_Dec7MinimumBase( word uTruth[2], int * pSupp, int nVarsAll, int * pnVars ) in If_Dec7MinimumBase() argument
552 if ( pSupp ) in If_Dec7MinimumBase()
553 pSupp[iVar] = pSupp[v]; in If_Dec7MinimumBase()
|
| H A D | ifDec75.c | 232 extern void If_Dec7MinimumBase( word uTruth[2], int * pSupp, int nVarsAll, int * pnVars ); in If_CutPerformCheck75__()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
| H A D | simUtils.c | 565 unsigned * pSupp; in Sim_UtilCountAllPairs() local
568 Vec_PtrForEachEntry( unsigned *, vSuppFun, pSupp, i ) in Sim_UtilCountAllPairs()
570 nOnes = Sim_UtilCountOnes( pSupp, nSimWords ); in Sim_UtilCountAllPairs()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteBlif.c | 852 extern word If_Dec6MinimumBase( word uTruth, int * pSupp, int nVarsAll, int * pnVars ); in Io_NtkWriteNodeInt()
853 extern void If_Dec7MinimumBase( word uTruth[2], int * pSupp, int nVarsAll, int * pnVars ); in Io_NtkWriteNodeInt()
1017 extern int If_CluMinimumBase( word * t, int * pSupp, int nVarsAll, int * pnVars ); in Io_NtkWriteNodeIntStruct()
1190 extern int If_CluMinimumBase( word * t, int * pSupp, int nVarsAll, int * pnVars ); in Io_NtkWriteModelIntStruct()
|