Searched refs:Abc_Tt6Cof0EqualCof1 (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauDsd.c | 1270 if ( Abc_Tt6Cof0EqualCof1(tCof0, tCof1, u) && Abc_Tt6Cof0EqualCof1(tCof1, tCof0, u) ) // v+u in Dau_Dsd6DecomposeDoubleVarsOne()
1286 if ( Abc_Tt6Cof0EqualCof1(tCof0, tCof1, u) ) // v!u in Dau_Dsd6DecomposeDoubleVarsOne()
1296 if ( Abc_Tt6Cof0EqualCof1(tCof0, tCof1, u) ) // !vu in Dau_Dsd6DecomposeDoubleVarsOne()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilTruth.h | 849 static inline int Abc_Tt6Cof0EqualCof1( word t1, word t2, int iVar ) { return (t1 & s_Truths6Neg[iV… in Abc_Tt6Cof0EqualCof1() function
|