C++ Reference: class RestartPolicy

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 std::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.