Searched refs:Vec_BitSetEntry (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecRe.c | 472 Vec_BitSetEntry( vVisited, iObj, 1 ); in Ree_CollectInsiders_rec() 475 Vec_BitSetEntry( vInsiders, iObj, 1 ); in Ree_CollectInsiders_rec()
|
H A D | acecPolyn.c | 397 Vec_BitSetEntry( vPres, LevCur, 1 ); in Gia_PolynBuild()
|
H A D | acecCo.c | 259 Vec_BitSetEntry( vVisited, iObj, 1 ); in Gia_PolynCoreCollect_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
H A D | vecBit.h | 473 static inline void Vec_BitSetEntry( Vec_Bit_t * p, int i, int Entry ) in Vec_BitSetEntry() function
|