Searched refs:ClauseLength (Results 1 – 1 of 1) sorted by relevance
177 unsigned ClauseLength = 1; in run() local186 ++ClauseLength; in run()199 if (ClauseLength > 1) { in run()