src/decide.cpp
// Search for the next decision and assign it to the saved phase.  Requires
// that not all variables are assigned.
Search for the next decision and assign it to the saved phase.  Requires
that not all variables are assigned.
Search for the next decision and assign it to the saved phase . Requires that not all variables are assigned .
void Internal::decide () {
  START (decide);
  stats.decisions++;
  int idx = next_decision_variable ();
  int decision = phases[idx] * idx;
  assume_decision (decision);
  STOP (decide);
}
void Internal :: decide ( ) { START ( decide ) ; stats . decisions ++ ; int idx = next_decision_variable ( ) ; int decision = phases [ idx ] * idx ; assume_decision ( decision ) ; STOP ( decide ) ; }
Search for the next decision and assign it to the saved phase.
Search for the next decision and assign it to the saved phase .