Searched refs:Vec_IntCheckUniqueSmall (Results 1 – 4 of 4) sorted by relevance
153 assert( Vec_IntCheckUniqueSmall(&vLeaves) ); in Gia_ManComputeTruths()
1048 assert( Vec_IntCheckUniqueSmall(vSupp) ); in Acb_NtkFindSupp3()1108 assert( Vec_IntCheckUniqueSmall(vSupp) ); in Acb_NtkFindSupp3()
290 if ( !Vec_IntCheckUniqueSmall( &pNode->vFanins ) ) in Abc_NtkFxCheck()
1434 static inline int Vec_IntCheckUniqueSmall( Vec_Int_t * p ) in Vec_IntCheckUniqueSmall() function