C++ Reference: class RestartPolicy

Note: This documentation is automatically generated.

Contain the logic to decide when to restart a SAT tree search.

Method
InfoString	Return type: std::string Returns a string with the current restart statistics.
NumRestarts	Return type: int Returns the number of restarts since the last Reset().
OnConflict	Return type: void Arguments: int conflict_trail_index, int conflict_decision_level, int conflict_lbd This will be called by the solver engine after each conflict. The arguments reflect the state of the solver when the conflict was detected and before the backjump.
Reset	Return type: void Resets the policy using the current model parameters.
RestartPolicy	Return type: explicit Arguments: Model* model
ShouldRestart	Return type: bool Returns true if the solver should be restarted before the next decision is taken. Note that this will return true just once and then assumes that the search was restarted and starts worrying about the next restart.