what do the “do_simp” and “turn_off_simp” mean in Minisat(simpSolver)?

Question

when I read the source code of Minisat, I come across the following code fragment

inline bool SimpSolver::solve (bool do_simp, bool turn_off_simp)  { budgetOff();