Searched refs:maxHardClauseLength (Results 1 – 2 of 2) sorted by relevance
181 assert(CI.Length <= ST->maxHardClauseLength() && in emitClause()202 MaxClauseLength = std::min(MaxClauseLength, ST->maxHardClauseLength()); in run()
1400 unsigned maxHardClauseLength() const { return MaxHardClauseLength; } in maxHardClauseLength() function