Searched refs:MaxHardClauseLength (Results 1 – 2 of 2) sorted by relevance
184 unsigned MaxHardClauseLength = 0; variable1224 bool hasHardClauses() const { return MaxHardClauseLength > 0; } in hasHardClauses()1304 unsigned maxHardClauseLength() const { return MaxHardClauseLength; } in maxHardClauseLength()
237 "MaxHardClauseLength",