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.

Arguments: const CpModelProto& model_proto, Model* model

The model_proto is just used to construct the lists of variable to 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.