Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu · danielsn · commit e7a3e5e823b1 · 2020-11-18T14:01:04.000-05:00
Add comment to explain solver_clause_num + 1 in solver hardness, change &lt;int&gt; to &lt;size_t&gt;

Remove sorting of clause set keeping performance in mind
diff --git a/src/solvers/solver_hardness.cpp b/src/solvers/solver_hardness.cpp
@@ -111,8 +111,6 @@ void solver_hardnesst::register_clause(
   // The clause_counter is incremented after the call to register_clause.
   // Here we add 1 to solver_clause_num to incorporate this increment.
   current_hardness.clause_set.push_back(solver_clause_num + 1);
-  std::sort(
-    current_hardness.clause_set.begin(), current_hardness.clause_set.end());
 }
 
 void solver_hardnesst::set_outfile(const std::string &file_name)

Original file line number	Diff line number	Diff line change
`@@ -111,8 +111,6 @@ void solver_hardnesst::register_clause(`
`111`	`111`	`// The clause_counter is incremented after the call to register_clause.`
`112`	`112`	`// Here we add 1 to solver_clause_num to incorporate this increment.`
`113`	`113`	`current_hardness.clause_set.push_back(solver_clause_num + 1);`
`114`		`- std::sort(`
`115`		`- current_hardness.clause_set.begin(), current_hardness.clause_set.end());`
`116`	`114`	`}`
`117`	`115`
`118`	`116`	`void solver_hardnesst::set_outfile(const std::string &file_name)`