Searched refs:Abc_BddUniqueCreate (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMult.c | 95 static inline int Abc_BddUniqueCreate( Abc_BddMan * p, int Var, int Then, int Else ) in Abc_BddUniqueCreate() function
162 Abc_BddUniqueCreate( p, i, 1, 0 ); in Abc_BddManAlloc()
214 r = Abc_BddUniqueCreate( p, Abc_MinInt(Abc_BddVar(p, a), Abc_BddVar(p, b)), r1, r0 ); in Abc_BddAnd()
|