Searched refs:nClausesBeg (Results 1 – 1 of 1) sorted by relevance
1687 int nClausesBeg = 0; in Fra_Claus() local1770 nClausesBeg = p->nClauses; in Fra_Claus()