Searched refs:vTt2Class (Results 1 – 1 of 1) sorted by relevance
569 Vec_Int_t * vTt2Class[17]; in Gia_ManIsoNpnReduce() local574 vTt2Class[i] = Vec_IntStartFull( Gia_ManCoNum(p)+1 ); in Gia_ManIsoNpnReduce()635 assert( Vec_IntEntry(vTt2Class[nVars], truthId) == -1 ); in Gia_ManIsoNpnReduce()636 Vec_IntWriteEntry( vTt2Class[nVars], truthId, Vec_WecSize(vPosEquivs) ); in Gia_ManIsoNpnReduce()639 assert( Vec_IntEntry(vTt2Class[nVars], truthId) >= 0 ); in Gia_ManIsoNpnReduce()640 Vec_WecPush( vPosEquivs, Vec_IntEntry(vTt2Class[nVars], truthId), i ); in Gia_ManIsoNpnReduce()648 Vec_IntFree( vTt2Class[i] ); in Gia_ManIsoNpnReduce()