Searched defs:nCofVars (Results 1 – 2 of 2) sorted by relevance
564 Lpk_Fun_t * Lpk_DsdSplit( Lpk_Man_t * pMan, Lpk_Fun_t * p, char * pCofVars, int nCofVars, unsigned … in Lpk_DsdSplit()
168 int nCofVars; // the number of cofactoring variables member