Searched refs:vRepres (Results 1 – 1 of 1) sorted by relevance
1244 …Vec_Int_t * vRepres[TT_MAX_LEVELS]; // pointers to the representatives from the last hierarchic… member1262 p->vRepres[i] = Vec_IntAlloc(1); in Abc_TtHieManStart()1275 Vec_IntFree(p->vRepres[i]); in Abc_TtHieManStop()1296 truthId = Vec_IntEntry(p->vRepres[level], iSpot); in Abc_TtHieRetrieveOrInsert()1300 Vec_IntSetEntry(p->vRepres[i], p->vTruthId[i], truthId); in Abc_TtHieRetrieveOrInsert()