Send feedback
Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: class ContinuousProber
Note: This documentation is automatically generated.
This class will loop continuously on model variables and try to probe/shave
its bounds.
Method
ContinuousProber
Arguments: const CpModelProto& model_proto, Model* model
The model_proto is just used to construct the lists of variable to probe.
Probe
Return type: SatSolver::Status
Starts or continues probing variables and their bounds.
It returns:
- SatSolver::INFEASIBLE if the problem is proven infeasible.
- SatSolver::FEASIBLE when a feasible solution is found
- SatSolver::LIMIT_REACHED if the limit stored in the model is reached
Calling Probe() after it has returned FEASIBLE or LIMIT_REACHED will resume
probing from its previous state.
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?