Searched refs:If_DsdManComputeTruth (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDsd.c | 409 extern word * If_DsdManComputeTruth( If_DsdMan_t * p, int iDsd, unsigned char * pPermLits ); in If_DsdManDumpAll()
423 pRes = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL ); in If_DsdManDumpAll()
1427 word * If_DsdManComputeTruth( If_DsdMan_t * p, int iDsd, unsigned char * pPermLits ) in If_DsdManComputeTruth() function
2024 word * pRes = If_DsdManComputeTruth( p, iDsd, NULL ); in If_DsdManCheckXY()
2084 pRes = If_DsdManComputeTruth( p, iDsd, pPerm ); in If_DsdManCompute()
2442 pTruth = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL ); in If_DsdManTune()
2519 pTruth = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL ); in Id_DsdManTuneStr1()
2800 pTruth = If_DsdManComputeTruth( p, Abc_Var2Lit(i, 0), NULL ); in Id_DsdManTuneThresh()
|