Stay organized with collections Save and categorize content based on your preferences.

C++ Reference: class RestartPolicy

Note: This documentation is automatically generated.

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

Return type: std::string

Returns a string with the current restart statistics.


Return type: int

Returns the number of restarts since the last Reset().


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.


Return type: void

Resets the policy using the current model parameters.


Return type: explicit

Arguments: Model* model


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.