Searched refs:hasHardClauses (Results 1 – 2 of 2) sorted by relevance
195 if (!ST->hasHardClauses()) in run()
1271 bool hasHardClauses() const { return MaxHardClauseLength > 0; } in hasHardClauses() function