Searched defs:pPermLits (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauTree.c | 1005 void Dss_ManPrint_rec( FILE * pFile, Dss_Man_t * p, Dss_Obj_t * pObj, int * pPermLits, int * pnSupp… in Dss_ManPrint_rec()
1030 void Dss_ManPrintOne( FILE * pFile, Dss_Man_t * p, int iDsdLit, int * pPermLits ) in Dss_ManPrintOne()
1139 …eTruth_rec( Dss_Man_t * p, Dss_Obj_t * pObj, int nVars, word * pRes, int * pPermLits, int * pnSupp… in Dss_ManComputeTruth_rec()
1192 word * Dss_ManComputeTruth( Dss_Man_t * p, int iDsd, int nVars, int * pPermLits ) in Dss_ManComputeTruth()
1441 int pPermLits[DAU_MAX_VAR]; in Dss_ManBooleanAnd() local
1987 int * pPermLits[2] = { pPermLits1, pPermLits2 }; in Dau_DsdTest444() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDsd.c | 486 void If_DsdManPrint_rec( FILE * pFile, If_DsdMan_t * p, int iDsdLit, unsigned char * pPermLits, int… in If_DsdManPrint_rec()
509 void If_DsdManPrintOne( FILE * pFile, If_DsdMan_t * p, int iObjId, unsigned char * pPermLits, int f… in If_DsdManPrintOne()
1357 void If_DsdManComputeTruth_rec( If_DsdMan_t * p, int iDsd, word * pRes, unsigned char * pPermLits, … in If_DsdManComputeTruth_rec()
1409 void If_DsdManComputeTruthPtr( If_DsdMan_t * p, int iDsd, unsigned char * pPermLits, word * pRes ) in If_DsdManComputeTruthPtr()
1427 word * If_DsdManComputeTruth( If_DsdMan_t * p, int iDsd, unsigned char * pPermLits ) in If_DsdManComputeTruth()
2135 … If_DsdMan_t * p, int Id, int * pTimes, word * pRes, int * pnSupp, int nSuppAll, char * pPermLits ) in If_CutDsdBalancePinDelays_rec()
2217 int If_CutDsdPermLitMax( char * pPermLits, int nVars, int iVar ) in If_CutDsdPermLitMax()
2239 … pTimes, int * pnSupp, Vec_Int_t * vAig, int * piLit, int nSuppAll, int * pArea, char * pPermLits ) in If_CutDsdBalanceEval_rec()
2308 …EvalInt( If_DsdMan_t * p, int iDsd, int * pTimes, Vec_Int_t * vAig, int * pArea, char * pPermLits ) in If_CutDsdBalanceEvalInt()
2351 char * pPermLits = If_CutDsdPerm(p, pCut); in If_CutDsdBalanceEval() local
|