Searched refs:Abc_Tt6Cof1IsConst1 (Results 1 – 2 of 2) sorted by relevance
1158 if ( Abc_Tt6Cof1IsConst1( pTruth[0], v ) ) // !(!ax) in Dau_Dsd6DecomposeSingleVarOne()
847 static inline int Abc_Tt6Cof1IsConst1( word t, int iVar ) { return (t & s_Truths6[iVar]) == s_Truth… in Abc_Tt6Cof1IsConst1() function