Searched refs:nValuesF (Results 1 – 1 of 1) sorted by relevance
149 int k, v, Def, DefIndex, Index, nValues, nValuesF, nValuesF2; in Abc_NodeStrashBlifMv() local245 nValuesF = Abc_ObjMvVarNum(pFanin); in Abc_NodeStrashBlifMv()254 assert( Index < nValuesF ); in Abc_NodeStrashBlifMv()275 assert( nValuesF == nValuesF2 ); in Abc_NodeStrashBlifMv()283 assert( Index < nValuesF ); in Abc_NodeStrashBlifMv()301 nValuesF = Abc_ObjMvVarNum(pFanin); in Abc_NodeStrashBlifMv()303 assert( nValuesF == nValues ); // should be guaranteed by the parser in Abc_NodeStrashBlifMv()304 for ( k = 0; k < nValuesF; k++ ) in Abc_NodeStrashBlifMv()338 nValuesF = Abc_ObjMvVarNum(pFanin); in Abc_NodeStrashBlifMv()340 assert( nValuesF == nValues ); // should be guaranteed by the parser in Abc_NodeStrashBlifMv()[all …]