Searched refs:nVarsTmp (Results 1 – 1 of 1) sorted by relevance
8220 …int c, nMaxDepth = -1, fMakeAIG = 0, fTest = 0, fVerbose = 0, nVars = 0, nVarsTmp, nFunc = 0, nSta… in Abc_CommandExact() local8326 nVarsTmp = Abc_TtReadHex( &pTruth[nFunc << 2], argv[globalUtilOptind++] ); in Abc_CommandExact()8329 nVars = nVarsTmp; in Abc_CommandExact()8335 else if ( nVars != nVarsTmp ) in Abc_CommandExact()