Searched refs:Vec_WrdLimit (Results 1 – 2 of 2) sorted by relevance
103 pLimit = Vec_WrdLimit(pNew); in Abc_SuppVerify()131 word * pLimit = Vec_WrdLimit(p); in Abc_SuppGenPairs()208 word * pLimit = Vec_WrdLimit(p); in Abc_SuppGenSelectVar()367 word * pLimit = Vec_WrdLimit( vCubes ); in Abc_SuppDiffMatrix()374 assert( pStore == Vec_WrdLimit(vPairs) ); in Abc_SuppDiffMatrix()
337 static inline word * Vec_WrdLimit( Vec_Wrd_t * p ) in Vec_WrdLimit() function