Searched defs:Truth6 (Results 1 – 12 of 12) sorted by relevance
185 static word Truth6[6] = { in Exp_Truth6() local282 static word Truth6[6] = { in Exp_Truth() local
89 static word Truth6[6] = { in Extra_Truth6ChangePhase() local
1026 static word Truth6[6] = { in Io_NtkWriteNodeIntStruct() local1199 static word Truth6[6] = { in Io_NtkWriteModelIntStruct() local
140 static word Truth6[6] = { in Cnf_CutDeriveTruth() local
111 static word Truth6[6] = { in Abc_NtkFillTruthStore() local
52 static word Truth6[6] = { variable
64 static word Truth6[6] = { variable
791 static word Truth6[6] = { in Extra_Truth6ChangePhase() local
2281 static word Truth6[6] = { in Extra_Truth6ChangePhase() local
1172 static word Truth6[6] = { in Gia_ManFromIfLogicNode() local