Searched refs:fMaxGatesLevel2 (Results 1 – 1 of 1) sorted by relevance
2007 int fMaxGatesLevel2 = 1; in Ses_CheckDepthConsistency() local2086 fMaxGatesLevel2 = ( pSes->nSpecVars == 3 ) ? 2 : 1; in Ses_CheckDepthConsistency()2088 fMaxGatesLevel2 = ( pSes->nSpecVars == 4 ) ? 4 : 3; in Ses_CheckDepthConsistency()2093 if ( ++i > fMaxGatesLevel2 ) in Ses_CheckDepthConsistency()