Searched refs:vPairsNonSym (Results 1 – 4 of 4) sorted by relevance
65 p->vPairsNonSym = Vec_IntStart( p->nOutputs ); in Sym_ManStart()117 Vec_IntFree( p->vPairsNonSym ); in Sym_ManStop()
75 nPairsNonSym = Vec_IntEntry(p->vPairsNonSym,i); in Sim_SymmsSimulate()
670 nPairsNonSym = Vec_IntEntry(p->vPairsNonSym,i); in Sim_UtilCountPairsAll()682 Vec_IntWriteEntry( p->vPairsNonSym, i, nPairsNonSym ); in Sim_UtilCountPairsAll()
67 Vec_Int_t * vPairsNonSym; // non-symmetric pairs member