Searched refs:pTtValues (Results 1 – 1 of 1) sorted by relevance
239 word pTtValues[4]; /* truth table values to assign */ member1204 if ( Abc_TtGetBit( pSes->pTtValues, t ) ) in Ses_ManCreateClauses()2253 Abc_TtSetBit( pSes->pTtValues, rand() % pSes->nRows ); in Ses_ManFindNetworkExactCEGAR()2272 Abc_TtSetBit( pSes->pTtValues, iMint - 1 ); in Ses_ManFindNetworkExactCEGAR()2299 memset( pSes->pTtValues, 0, 4 * sizeof( word ) ); in Ses_ManFindMinimumSizeBottomUp()2372 memset( pSes->pTtValues, ~0, 4 * sizeof( word ) ); in Ses_ManFindMinimumSize()