src/decide.cpp
// Just assume the given literal as decision (increase decision level and
// assign it).  This is used below in 'decide' and in failed literal
// probing to assign the next 'probe'.
Just assume the given literal as decision (increase decision level and
assign it).  This is used below in 'decide' and in failed literal
probing to assign the next 'probe'.
Just assume the given literal as decision ( increase decision level and assign it ) . This is used below in ' decide ' and in failed literal probing to assign the next ' probe ' .
void Internal::assume_decision (int lit) {
  level++;
  control.push_back (Level (lit));
  LOG ("decide %d", lit);
  assign_decision (lit);
}
void Internal :: assume_decision ( int lit ) { level ++ ; control . push_back ( Level ( lit ) ) ; LOG ( " " , lit ) ; assign_decision ( lit ) ; }
Just assume the given literal as decision (increase decision level and
assign it).
Just assume the given literal as decision ( increase decision level and assign it ) .