Searched refs:TruthStore (Results 1 – 3 of 3) sorted by relevance
107 void Abc_NtkFillTruthStore( word TruthStore[16][1<<10] ) in Abc_NtkFillTruthStore()109 if ( TruthStore[0][0] == 0 ) in Abc_NtkFillTruthStore()125 TruthStore[i][k] = Truth6[i]; in Abc_NtkFillTruthStore()128 TruthStore[i][k] = ((k >> (i-6)) & 1) ? ~(word)0 : 0; in Abc_NtkFillTruthStore()145 word TruthStore[16][1<<10] = {{0}}, * pTruths[16] = {NULL}, pCube[1<<10] = {0}; in Abc_NtkExtractMfs() local162 Abc_NtkFillTruthStore( TruthStore ); in Abc_NtkExtractMfs()164 pTruths[i] = TruthStore[i]; in Abc_NtkExtractMfs()218 word TruthStore[16][1<<10] = {{0}}, * pTruths[16] = {NULL}, pCube[1<<10] = {0}; in Abc_NtkExtractMfs2() local235 Abc_NtkFillTruthStore( TruthStore ); in Abc_NtkExtractMfs2()237 pTruths[i] = TruthStore[i]; in Abc_NtkExtractMfs2()
1019 static word TruthStore[16][1<<10] = {{0}}, * pTruths[16]; in Io_NtkWriteNodeIntStruct() local1024 if ( TruthStore[0][0] == 0 ) in Io_NtkWriteNodeIntStruct()1039 pTruths[i] = TruthStore[i]; in Io_NtkWriteNodeIntStruct()1192 static word TruthStore[16][1<<10] = {{0}}, * pTruths[16]; in Io_NtkWriteModelIntStruct() local1197 if ( TruthStore[0][0] == 0 ) in Io_NtkWriteModelIntStruct()1212 pTruths[i] = TruthStore[i]; in Io_NtkWriteModelIntStruct()
1166 static word TruthStore[16][1<<10] = {{0}}, * pTruths[16]; in Gia_ManFromIfLogicNode() local1170 if ( TruthStore[0][0] == 0 ) in Gia_ManFromIfLogicNode()1185 pTruths[i] = TruthStore[i]; in Gia_ManFromIfLogicNode()