Searched refs:fNothingNew (Results 1 – 1 of 1) sorted by relevance
61 int fNothingNew; member1469 p->fNothingNew = (int)(Counter == 0); in Fra_ClausAddToStorage()1747 if ( b && p->nLutSize < 12 && (!p->fFiltering || p->fNothingNew || p->fStepUp) ) in Fra_Claus()