Send feedback
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.
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.
Send feedback
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License , and code samples are licensed under the Apache 2.0 License . For details, see the Google Developers Site Policies . Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2022-09-14 UTC.
[{
"type": "thumb-down",
"id": "missingTheInformationINeed",
"label":"Missing the information I need"
},{
"type": "thumb-down",
"id": "tooComplicatedTooManySteps",
"label":"Too complicated / too many steps"
},{
"type": "thumb-down",
"id": "outOfDate",
"label":"Out of date"
},{
"type": "thumb-down",
"id": "samplesCodeIssue",
"label":"Samples / code issue"
},{
"type": "thumb-down",
"id": "otherDown",
"label":"Other"
}]
[{
"type": "thumb-up",
"id": "easyToUnderstand",
"label":"Easy to understand"
},{
"type": "thumb-up",
"id": "solvedMyProblem",
"label":"Solved my problem"
},{
"type": "thumb-up",
"id": "otherUp",
"label":"Other"
}]
Need to tell us more?