OR-Tools  9.6
Public Member Functions | List of all members
ContinuousProber

Detailed Description

Definition at line 287 of file integer_search.h.

Public Member Functions

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

Constructor & Destructor Documentation

◆ ContinuousProber()

ContinuousProber ( const CpModelProto &  model_proto,
Model *  model 
)

Definition at line 1152 of file integer_search.cc.

Member Function Documentation

◆ Probe()

SatSolver::Status Probe ( )

Definition at line 1196 of file integer_search.cc.

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