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.
|
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 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["The `ContinuousProber` class iteratively probes and shaves bounds of model variables. It takes a `CpModelProto` and a `Model` as arguments to determine which variables to probe. The `Probe` method initiates or continues this process, returning the status of the solver: `INFEASIBLE` if infeasible, `FEASIBLE` if a solution is found, or `LIMIT_REACHED` if a limit is hit. Subsequent calls to `Probe` resume from the previous state.\n"],null,[]]
