Searched refs:iVarNs (Results 1 – 1 of 1) sorted by relevance
580 int i, iVarCs, iVarNs; in Llb_CoreSetVarMaps() local594 iVarNs = Vec_IntEntry( p->vVarsNs, i ); in Llb_CoreSetVarMaps()596 assert( iVarNs >= 0 && iVarNs < Aig_ManObjNumMax(p->pAig) ); in Llb_CoreSetVarMaps()598 Vec_IntWriteEntry( p->vNs2Glo, iVarNs, i ); in Llb_CoreSetVarMaps()600 Vec_IntWriteEntry( p->vGlo2Ns, i, iVarNs ); in Llb_CoreSetVarMaps()