xchaff_solver.cpp File Reference

Go to the source code of this file.

Functions

• bool compare_var_stat (const pair< int, int > &v1, const pair< int, int > &v2)

---

Function Documentation

bool compare_var_stat (  const pair< int, int > &  v1, const pair< int, int > &  v2 )  [inline]

Definition at line 592 of file xchaff_solver.cpp. Referenced by CSolver::update_var_stats().

---