Searched refs:Vec_BitPush (Results 1 – 3 of 3) sorted by relevance
188 Vec_BitPush( vBitX, Abc_TtGetBit(Gia_ManObjSim(p, Id), k) ); in Gia_ManDumpFiles()194 Vec_BitPush( vBitY, Abc_TtGetBit(Gia_ManObjSim(p, Id), k) ); in Gia_ManDumpFiles()
672 Vec_BitPush( vInits, pObj->fMark0 ); in Gia_ManDupCycled()
523 static inline void Vec_BitPush( Vec_Bit_t * p, int Entry ) in Vec_BitPush() function