Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ContinuousProber Class Reference

Detailed Description

Definition at line 331 of file integer_search.h.

#include <integer_search.h>

Public Member Functions

 ContinuousProber (const CpModelProto &model_proto, Model *model)
SatSolver::Status Probe ()

Constructor & Destructor Documentation

◆ ContinuousProber()

operations_research::sat::ContinuousProber::ContinuousProber ( const CpModelProto & model_proto,
Model * model )

Definition at line 1694 of file integer_search.cc.

Member Function Documentation

◆ Probe()

SatSolver::Status operations_research::sat::ContinuousProber::Probe ( )

Definition at line 1750 of file integer_search.cc.

The documentation for this class was generated from the following files: