Searched refs:vTruthIdsNew (Results 1 – 1 of 1) sorted by relevance
1282 Vec_Int_t * vTruthIdsNew; in Lms_GiaNormalize() local1287 vTruthIdsNew = Vec_IntAlloc( Vec_IntSize(vRemain) ); in Lms_GiaNormalize()1296 Vec_IntPush( vTruthIdsNew, Next ); in Lms_GiaNormalize()1313 p->vTruthIds = vTruthIdsNew; in Lms_GiaNormalize()